{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:15Z","timestamp":1747579575296},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:57Z","timestamp":1330199757000},"page":"134-160","source":"Crossref","is-referenced-by-count":22,"title":["The versatile continuous order"],"prefix":"10.1007","author":[{"given":"Jimmie D.","family":"Lawson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1017\/S0305004100045850","volume":"67","author":"B. J. Day","year":"1970","unstructured":"B. J. Day and G. M. Kelly, \u201cOn topological quotient maps preserved by pull-backs or products,\u201d Proc. of the Cambridge Phil. Soc. 67 (1970), 553\u2013558.","journal-title":"Proc. of the Cambridge Phil. Soc."},{"key":"7_CR2","volume-title":"Topology","author":"J. Dugundji","year":"1964","unstructured":"J. Dugundji, Topology, Allyn and Bacon, Boston, 1964."},{"key":"7_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G. Gierz","year":"1980","unstructured":"G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. Scott, A Compendium of Continuous Lattices, Springer-Verlag, Heidelberg, 1980."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"R.-E. Hoffmann, \u201cContinuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications,\u201d Continuous Lattices, Lecture Notes in Mathematics 871, edited by B. Banaschewski and R.-E. Hoffmann, Springer-Verlag, 1981, 125\u2013158.","DOI":"10.1007\/BFb0089907"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"R.-E. Hoffmann, \u201cProjective sober spaces,\u201d Continuous Lattices, Lecture Notes in Mathematics 871, edited by B. Banaschewski and R.-E. Hoffmann, Springer-Verlag, 1981, 125\u2013158.","DOI":"10.1007\/BFb0089906"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1090\/S0002-9947-1978-0515540-7","volume":"246","author":"K. H. Hofmann","year":"1978","unstructured":"K. H. Hofmann and J. D. Lawson, \u201cThe spectral theory of distributive continuous lattices,\u201d Trans. Amer. Math. Soc. 246 (1978), 285\u2013310.","journal-title":"Trans. Amer. Math. Soc."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"K. H. Hofmann, M. Mislove, and A. Stralka, The Pontryagin Duality of Compact 0-Dimensional Semilattices and its Applications, Lecture Notes in Mathematics 396, Springer-Verlag, 1974.","DOI":"10.1007\/BFb0065929"},{"key":"7_CR8","first-page":"317","volume":"36","author":"J. R. Isbell","year":"1975","unstructured":"J. R. Isbell, \u201cFunction spaces and adjoints,\u201d Symposia Math. 36 (1975), 317\u2013339.","journal-title":"Symposia Math."},{"key":"7_CR9","unstructured":"R. E. Jamison, A general theory of convexity, Doctoral Dissertation, University of Washington, 1974."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"T. Kamimura and A. Tang, \u201cRetracts of SFP objects,\u201d Lecture Notes in Computer Science 239, Springer-Verlag, 1986, 135\u2013148.","DOI":"10.1007\/3-540-16816-8_29"},{"key":"7_CR11","unstructured":"T. Kamimura and A. Tang, \u201cDomains as finitely continuous CPO's,\u201d preprint."},{"key":"7_CR12","unstructured":"K. Keimel and G. Gierz, \u201cHalbstetige Funktionen und stetige Verb\u00e4nde,\u201d Continuous Lattices and Related Topics, Proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices (Workshop V), edited by R.-E. Hoffmann, Mathematik-Arbeitspapiere, Universit\u00e4t Bremen 27, 1982, 59\u201367."},{"key":"7_CR13","unstructured":"R. Kopperman, \u201cAll topologies come from generalized metrics,\u201d Amer. Math. Monthly, (to appear)."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"P. Th. Lambrinos and B. Papadopoulos, \u201cThe (strong) Isbell topology and (weakly) continuous lattices,\u201d Continuous Lattices and Their Applications, edited by R.-E. Hoffman and K. H. Hofmann, Marcel Dekker, 1985, 191\u2013211.","DOI":"10.1201\/9781003072621-11"},{"key":"7_CR15","first-page":"357","volume":"5","author":"J. D. Lawson","year":"1979","unstructured":"J. D. Lawson, \u201cThe duality of continuous posets,\u201d Houston J. Math. 5 (1979), 357\u2013386.","journal-title":"Houston J. Math."},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF02485815","volume":"6","author":"G. Markowsky","year":"1976","unstructured":"G. Markowsky, \u201cChain-complete posets and directed sets with applications,\u201d Algebra Univ. 6 (1976), 53\u201368.","journal-title":"Algebra Univ."},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1147\/rd.202.0138","volume":"20","author":"G. Markowsky","year":"1976","unstructured":"G. Markowsky and B. K. Rosen, \u201cBases for chain-complete posets,\u201d IBM Journal of Research and Development 20 (1976), 138\u2013147.","journal-title":"IBM Journal of Research and Development"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G. D. Plotkin, \u201cA powerdomain construction,\u201d SIAM J. Comp. 5 (1976), 452\u2013487.","journal-title":"SIAM J. Comp."},{"key":"7_CR19","unstructured":"D. Scott, \u201cOutline of a mathematical theory of computation,\u201d Proc. 4th Ann. Princeton Conf. on Inform. Sci. and Systems, 1970, 169\u2013176."},{"key":"7_CR20","series-title":"Springer LNM","volume-title":"Toposes, Algebraic Geometry, and Logic","author":"D. Scott","year":"1972","unstructured":"D. Scott, \u201cContinuous lattices,\u201d Toposes, Algebraic Geometry, and Logic, Springer LNM 274, Springer-Verlag, Berlin, 1972."},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"D. Scott, \u201cData types as lattices,\u201d SIAM Journal on Computing 5 (1976), 522\u2013587.","journal-title":"SIAM Journal on Computing"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"F. Schwarz and S. Weck, \u201cScott topology, Isbell topology and continuous convergence,\u201d Continuous Lattices and Their Applications, edited by R.-E. Hoffmann and K. H. Hofmann, Marcel Dekker, 1985, 251\u2013273.","DOI":"10.1201\/9781003072621-15"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(83)90095-6","volume":"27","author":"M. Smyth","year":"1983","unstructured":"M. Smyth, \u201cThe largest cartesian closed category of domains,\u201d Theoretical Computer Sci. 27 (1983), 109\u2013119.","journal-title":"Theoretical Computer Sci."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"M. Smyth, \u201cPowerdomains and predicate transformers: a topologica view,\u201d ICALP 83, Lecture Notes in Computer Science 154, edited by J. Diaz, Springer-Verlag, 1983, 662\u2013676.","DOI":"10.1007\/BFb0036946"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"M. Van de Vel, \u201cLattices and semilattices: a convex point of view,\u201d Continuous Lattices and Their Applications, edited by R.-E. Hoffmann and K. H. Hofmann, Marcel Dekker, 1985, 279\u2013302.","DOI":"10.1201\/9781003072621-17"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"G. Winskel and K. Larsen, \u201cUsing information systems to solve recursive domain equations effectively,\u201d Semantics of Data Types, Lecture Notes in Computer Science 173 edited by G. Kahn and G. D. Plotkin, Springer-Verlag, 1984, 109\u2013130.","DOI":"10.1007\/3-540-13346-1_5"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:22:01Z","timestamp":1640917321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}