{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:07Z","timestamp":1720624927543},"reference-count":21,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)80773-4","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"172-188","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["The Constructive Maximal Point Space"],"prefix":"10.1016","volume":"74","author":[{"given":"Michael B.","family":"Smyth","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB1","series-title":"Handbook of Logic in computer Science, volume 3","first-page":"1","article-title":"Domain theory","author":"Abramsky","year":"1994"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB2","unstructured":"M. Bukatin. Mathematics of Domains. Ph. D. thesis, Brandeis University, 2001."},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB3","unstructured":"G. Curi. The points of (locally) compact regular formal topologies. In U. Berger, H. Osswald, P. Schuster, eds., Reuniting the Antipodes - Constructive and Nonstandard Views od the continuum: Proceedings of a Symposium, Venice, May 1999. Forthcoming in Synthese Library, Kluwer."},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB4","unstructured":"G. Curi. Compact Hausdorff spaces are data types. Preprint."},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0166-8641(97)00225-3","article-title":"Properly injective spaces and function spaces","volume":"89","author":"Escard\u00f3","year":"1998","journal-title":"Topology and its Applications"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB6","series-title":"A Compendium of Continuous Lattices","author":"Gierz","year":"1980"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB7","unstructured":"R. Heckmann. Domain environments. Unpublished paper, 1998. Available on Heckmann's home page."},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB8","series-title":"Stone Spaces","author":"Johnstone","year":"1982"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB9","doi-asserted-by":"crossref","unstructured":"H.-P. K\u00fcnzi, V. Vajner. Weighted quasi-metrics. Papers on General Topology and Applications: Proceedings of the Eighth summer conference on General topology and its Applications, volume 728 of Ann. New York Acad. Sci., pages 64\u201377, 1994.","DOI":"10.1111\/j.1749-6632.1994.tb44134.x"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB10","series-title":"Mathematical Foundations of Programming Language Semantics(MFPLS 1987), volume 298 of Lecture Notes in Comput. Sci","first-page":"134","article-title":"The versatile continuous order","author":"Lawson","year":"1987"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB11","first-page":"543","article-title":"Maximal point spaces","volume":"7","author":"Lawson","year":"1997","journal-title":"MSCS"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB12","unstructured":"K. Martin. A foundation for computation. Ph.D. thesis, Tulane Univesity, Dept. of Mathematics, 2000."},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB13","doi-asserted-by":"crossref","unstructured":"K. Martin. The measurement process in domain theory. Proceedings of the 27th ICALP, volume 1853 of Lect. Notes in Comp. Sci., Springer-Verlag, 2000.","DOI":"10.1007\/3-540-45022-X_11"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB14","series-title":"Notes on Constructive Mathematics","author":"Martin-L\u00f6f","year":"1970"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB15","doi-asserted-by":"crossref","unstructured":"S.G. Matthews. Partial metric topology. In S. Andima, G. Itzkowitz, Y. Kong, R. Kopperman, P. Misra, L. Narici, and A. Todd, editors, Papers on General Topology and Applications: Proceedings of the Eighth Summer Conference on General Topology and its Applications, volume 728 of Ann. New York Acad. Sci., pages 183\u2013197, 1994.","DOI":"10.1111\/j.1749-6632.1994.tb44144.x"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB16","doi-asserted-by":"crossref","unstructured":"S.J. O'neill. Partial metrics, valuations, and domain theory. In S. Andima, R.C. Flagg, G. Itzkowitz, Y. Kong, R. Kopperman, and P. Misra, editors, Papers on General Topology and Applications: Eleventh Summer conference at the University of Southern maine, volume 806 of Ann. New York Acad. Sci., pages 304\u2013315, 1996.","DOI":"10.1111\/j.1749-6632.1996.tb49177.x"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB17","doi-asserted-by":"crossref","DOI":"10.1016\/0022-0000(78)90006-5","article-title":"II\u03c9 as a universal domain","volume":"17","author":"Plotkin","year":"1978","journal-title":"J. Comp. Syst. Sci"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB18","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","article-title":"Effectively given domains","volume":"5","author":"Smyth","year":"1977","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB19","series-title":"Handbook of Logic in Computer Science, volume 1","first-page":"641","article-title":"Topology","author":"Smyth","year":"1992"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB20","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1023012924892","article-title":"Quantitative continuous domains","volume":"11","author":"Waszkiewicz","year":"2003","journal-title":"Applied Categorical Structures"},{"key":"10.1016\/S1571-0661(04)80773-4_NEWBIB21","doi-asserted-by":"crossref","first-page":"675","DOI":"10.2307\/2371174","article-title":"On quasi-metric spaces","volume":"53","author":"Wilson","year":"1931","journal-title":"Amer. J. Math"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807734?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807734?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T05:54:02Z","timestamp":1549173242000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104807734"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":21,"alternative-id":["S1571066104807734"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80773-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}