{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:59Z","timestamp":1725663299945},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127277"},{"type":"electronic","value":"9783540387145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12727-5_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:54:59Z","timestamp":1330192499000},"page":"35-64","source":"Crossref","is-referenced-by-count":7,"title":["Applicative information systems"],"prefix":"10.1007","author":[{"given":"M.","family":"Coppo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Dezani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Longo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"2_CR1","unstructured":"H. Barendregt, The \u03bb-calculus: its syntax and semantics. North-Holland, 1981."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"M. Coppo, M. Dezani, F. Honsell, G. Longo, \u201dExtended Type Structure and Filter lambda models\u201d Logic Colloquium '82 (Lolli, Longo, Marcja eds.) North-Holland, 1983.","DOI":"10.1016\/S0049-237X(08)71819-6"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Yu.L. Ershov, \u201dModel C of partial continuous functionals\u201d in Logic Colloquium '76 (Gandy, Hyland eds) Nort-Holland, 1977.","DOI":"10.1016\/S0049-237X(09)70439-2"},{"key":"2_CR4","unstructured":"P. Giannini, G. Longo, \u201dEffectively given domains and \u03bb-calcul semantics\u201d Revised version, ISI-Nota Scientifica (1982)."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01752392","volume":"14","author":"D. Lehmann","year":"1981","unstructured":"D. Lehmann, M. Smyth, \u2018Algebraic Specification of Data Types: A synthetic Approach\u2019 Mathematical System Theory, 14 (1981), 97\u2013139.","journal-title":"Mathematical System Theory"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"3","author":"R. Milner","year":"1978","unstructured":"R. Milner, \u201dA theory of type polymorphism in programming\u201d Journal of Computer and System Sciences, 3 (1978), 348\u2013375.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"G. Plotkin, \u201dCall-by-name, call-by-value and the \u03bb-calculus\u201d Theoretical Computer Science 1 (1975), 125\u2013159.","journal-title":"Theoretical Computer Science"},{"key":"2_CR8","unstructured":"G. Plotkin, M. Smyth, \u201dThe cathegory-theoretic solution of recursive domain equations\u201d Internal Report University of Edinburgh (1982), (To appear in SIAM Journal of Computing)."},{"key":"2_CR9","unstructured":"H. Rogers, Theory of recursive functions and effective computability, Mc-Graw-Hill, 1967."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0073967","volume":"274","author":"D. S. Scott","year":"1972","unstructured":"D.S. Scott, \u201dContinuous Lattices\u201d, Springer Lecture Notes in Mathematics, vol. 274, (1972), 97\u2013136.","journal-title":"Springer Lecture Notes in Mathematics"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. S. Scott","year":"1976","unstructured":"D.S. Scott, \u201dData types as lattices\u201d, SIAM Journal of Computing 5 (1976), 522\u2013587.","journal-title":"SIAM Journal of Computing"},{"key":"2_CR12","unstructured":"D.S. Scott, Lectures on a mathematical theory of computation. Oxford University Computing Laboratory, Technical Monograph PRG-19 (1981)."},{"key":"2_CR13","series-title":"LNCS","volume-title":"Domains for Denotational Semantics (updated version)","author":"D. S. Scott","year":"1982","unstructured":"D.S. Scott, \u201dDomains for Denotational Semantics (updated version)\u201d. Proceedings of ICALP '82, LNCS 140, Springer-Verlag, Berlin (1982)."}],"container-title":["Lecture Notes in Computer Science","CAAP'83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12727-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:13Z","timestamp":1605643573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12727-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127277","9783540387145"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-12727-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}