{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:22Z","timestamp":1725663382520},"publisher-location":"Berlin, Heidelberg","reference-count":7,"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_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:54:33Z","timestamp":1330181673000},"page":"289-302","source":"Crossref","is-referenced-by-count":0,"title":["Topological completeness in an ideal model for polymorphic types"],"prefix":"10.1007","author":[{"given":"Ernst-Erich","family":"Doberkat","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"de Bakker, J. W., Kok, J. N.: Towards a Uniform Topological Treatment of Streams and Functions on Streams. In W. Brauer (Ed.): Proc. 12th ICALP. Lecture Notes in Computer Science 194, Springer \u2014 Verlag, 1985, 140\u2013148","DOI":"10.1007\/BFb0015739"},{"key":"14_CR2","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0087685","volume-title":"Convex Analysis and Measurable Multifunctions","author":"C. Castaing","year":"1977","unstructured":"Castaing, C., Valadier, M.: Convex Analysis and Measurable Multifunctions. Lecture Notes in Mathematics 580, Springer\u2013Verlag, Berlin, 1977"},{"key":"14_CR3","volume-title":"Real and Abstract Analysis","author":"E. Hewitt","year":"1969","unstructured":"Hewitt, E., Stromberg, K.: Real and Abstract Analysis. Springer \u2014 Verlag, Berlin, 1969"},{"key":"14_CR4","volume-title":"General Topology","author":"J. L. Kelly","year":"1955","unstructured":"Kelly, J.L.: General Topology. Van Nostrand Reinhold, New York, 1955"},{"key":"14_CR5","unstructured":"Landes, Th.: The Banach Fixed Point Principle in Uniform Spaces. Preprint, Department of Economics, University of Paderborn, Sept. 1986"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"MacQueen, D., Plotkin, G., Sethi, R.: An Ideal Model for Recursive Polymorphic Types. Expanded Version (presented in condensed form at the 11th Ann. ACM Symp. Princ. Progr. Lang., Salt Lake City, UT, 1984)","DOI":"10.1145\/800017.800528"},{"key":"14_CR7","volume-title":"Denotational Semantics: The Scott \u2014 Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J. E.: Denotational Semantics: The Scott \u2014 Strachey Approach to Programming Language Theory. MIT Press, Cambridge MA, 1977."}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:18:57Z","timestamp":1619543937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}