{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:16:50Z","timestamp":1759637810059},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,4,1]],"date-time":"2006-04-01T00:00:00Z","timestamp":1143849600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s10485-006-9011-1","type":"journal-article","created":{"date-parts":[[2006,5,30]],"date-time":"2006-05-30T13:19:41Z","timestamp":1148995181000},"page":"135-150","source":"Crossref","is-referenced-by-count":3,"title":["Some Categorical Aspects of Information Systems and Domains"],"prefix":"10.1007","volume":"14","author":[{"given":"Ale\u0161","family":"Pultr","sequence":"first","affiliation":[]},{"given":"Anna","family":"Tozzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,31]]},"reference":[{"key":"9011_CR1","first-page":"1","volume-title":"Handbook of Logic in Computer Science, vol. 3","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Handbook of Logic in Computer Science, vol. 3, pp. 1\u2013168. Clarendon, Oxford (1994)"},{"key":"9011_CR2","first-page":"35","volume-title":"CatMAT 2000, Proc. Conf. Categorical Methods in Algebra and Topology","author":"B. Banaschewski","year":"2000","unstructured":"Banaschewski, B., Pultr, A.: Scott information systems, frames and domains. In: Herrlich, H., Porst, H.-E. (eds.) CatMAT 2000, Proc. Conf. Categorical Methods in Algebra and Topology, pp. 35\u201346. Mathematik-Arbeitspapiere Nr.54, Bremen (2000)"},{"issue":"1","key":"9011_CR3","first-page":"131","volume":"33","author":"G.C.L. Br\u00fcmmer","year":"1992","unstructured":"Br\u00fcmmer, G.C.L., Giuli, E.: A categorical concept of completion of objects. Comment. Math. Univ. Carol. 33(1), 131\u2013147 (1992)","journal-title":"Comment. Math. Univ. Carolin."},{"key":"9011_CR4","first-page":"71","volume":"XXXIII-1","author":"C.C.L. Br\u00fcmmer","year":"1992","unstructured":"Br\u00fcmmer, C.C.L., Giuli, E., Herrlich, H.: Epireflections that are completions. Cahiers de Top. G\u00e9om. Diff. Cat XXXIII-1, 71\u201393 (1992)","journal-title":"Cahiers de Top. G\u00e9om. Diff. Cat"},{"key":"9011_CR5","first-page":"57","volume-title":"Category Theory at Work","author":"M. Ern\u00e9","year":"1991","unstructured":"Ern\u00e9, M.: The ABC of order and topology. In: Herrlich, H., Porst, H.-E. (eds.) Category Theory at Work, pp. 57\u201383. Heldermann Verlag, Berlin (1991)"},{"key":"9011_CR6","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":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: A Compendium of Continuous Lattices. Springer, Berlin Heidelberg New York (1980)"},{"key":"9011_CR7","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1006\/inco.1993.1039","volume":"105","author":"R. Hoofman","year":"1993","unstructured":"Hoofman, R.: Continuous information systems. Inf. Comput. 105, 42\u201371 (1993)","journal-title":"Inf. Comput."},{"key":"9011_CR8","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Winskel, G.: Using information systems to solve recursive domain equations effectively. In: Mathematical Foundations of Programming Language Semantics, Lecture Notes in Comp. Sci., vol. 173 (1984)","DOI":"10.1007\/3-540-13346-1_5"},{"key":"9011_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician, Graduate Texts in Mathematics 5","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics 5. Springer, Berlin Heidelberg New York (1971)"},{"key":"9011_CR10","volume-title":"Algebraic Theories, Graduate Texts in Mathematics 26","author":"E. Manes","year":"1976","unstructured":"Manes, E.: Algebraic Theories, Graduate Texts in Mathematics 26. Springer, Berlin Heidelberg New York (1976)"},{"key":"9011_CR11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0073967","volume":"274","author":"D.S. Scott","year":"1972","unstructured":"Scott, D.S.: Continuous lattices. Springer Lecture notes in Math. 274, 97\u2013136 (1972)","journal-title":"Springer Lecture notes in Math."},{"key":"9011_CR12","first-page":"579","volume":"140","author":"D.S. Scott","year":"1982","unstructured":"Scott, D.S.: Domains for denotational semantics. Springer Lecture Notes in Comput. Sci. 140, 579\u2013613 (1982)","journal-title":"Springer Lecture Notes in Comput. Sci."},{"key":"9011_CR13","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M.B. Smyth","year":"1977","unstructured":"Smyth, M.B.: Effectively given domains. Theor. Comp. Sci. 5, 257\u2013274 (1977)","journal-title":"Theor. Comp. Sci."},{"key":"9011_CR14","unstructured":"Smyth, M.B.: The constructive maximal point space. Electron. Notes Theor. Comput. Sci. 74, 1\u201315 (2002)"},{"key":"9011_CR15","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(93)90072-2","volume":"114","author":"S. Vickers","year":"1993","unstructured":"Vickers, S.: Information systems for denotational semantics. Theor. Comp. Sci. 114, 201\u2013229 (1993)","journal-title":"Theor. Comp. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-006-9011-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-006-9011-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-006-9011-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:24:24Z","timestamp":1559139864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-006-9011-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["9011"],"URL":"https:\/\/doi.org\/10.1007\/s10485-006-9011-1","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,4]]}}}