{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:48Z","timestamp":1725662928798},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:04:31Z","timestamp":1330175071000},"page":"235-255","source":"Crossref","is-referenced-by-count":18,"title":["Cartesian closed categories of enumerations for effective type structures"],"prefix":"10.1007","author":[{"given":"G.","family":"Longo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Moggi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Barendregt, H. & Longo, G. (1982) \"Recursion Theoretic operators and morphisms of numbered sets\" Fundamenta Matematicae CXIX.","DOI":"10.4064\/fm-119-1-49-62"},{"issue":"3","key":"12_CR2","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2307\/2273443","volume":"48","author":"C. Bernardi","year":"1983","unstructured":"Bernardi, C., Sorbi, A. (1983) \"Classifying positive equivalence relations\" J. Symb. Logic, vol. 48,3, 529\u2013539.","journal-title":"J. Symb. Logic"},{"issue":"4","key":"12_CR3","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF02218570","volume":"12","author":"Y. L. Ershov","year":"1973","unstructured":"Ershov, Yu. L. (1973) \"The theory of A-spaces\" Algebra and Logic, vol. 12,4, 209\u2013232.","journal-title":"Algebra and Logic"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19730191901","volume":"19\/21","author":"Y. L. Ershov","year":"1973","unstructured":"Ershov, Yu. L. (1973\/5) \"Theorie der Numerierungen I\u2013II\", Zeit. Math. Logik vol. 19\/21, 289\u2013388\/473\u2013584.","journal-title":"Zeit. Math. Logik"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Ershov, Yu. L. (1977) \"Model C of partial continuous functionals\" Logic Colloquium 76 (Gandy, Hyland eds.) North Holland.","DOI":"10.1016\/S0049-237X(09)70439-2"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Giannini, P., Longo, G. (1983) \"Effectively given domains and lambda-calculus semantics\" Info. Contr. (to appear).","DOI":"10.1016\/S0019-9958(84)80009-1"},{"key":"12_CR7","unstructured":"Kleene, S.C. (1959) \"Countable functionals\" In H. Heyting (ed.) Constructivity in Mathematics, North-Holland, 81\u2013100."},{"key":"12_CR8","unstructured":"Kreisel, G. (1959) \"Interpretation of Analysis by means of functionals of finite type\" ibidem."},{"key":"12_CR9","unstructured":"Lambek, J. (1980) \"From \u03bb-calculus to Cartesian Closed Categories\", In R. Hindley, J. Seldin (eds.) To H.B. Curry: essays in Combinatory Logic, lambda calculus and Formalisms Academic Press."},{"key":"12_CR10","unstructured":"Longo, G. (1982) \"Hereditary partial functionals in any finite type (Preliminary note)\". Forsch. Inst. Math. E.T.H. Z\u00fcrich."},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0168-0072(83)90030-1","volume":"24","author":"G. Longo","year":"1983","unstructured":"Longo, G. (1983) \"Set theoretical models of \u03bb-calculus: theories, expansions, isomorphisms\" Ann. Pure Applied Logic (formerly: Ann. Math. Logic) 24, 153\u2013188.","journal-title":"Ann. Pure Applied Logic (formerly: Ann. Math. Logic)"},{"key":"12_CR12","unstructured":"Longo, G. (1984) \"Continuous structures and analytic methods in Computer Science\" In B. Courcelle (ed.), Proceedings of CAAP, Cambridge University Press."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Longo, G., Moggi, E. (1983) \"The hereditary partial functionals and recursion theory in higher types\" J. Symb. Logic (to appear).","DOI":"10.2307\/2274281"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Longo, G., Moggi, E. (1983b) \"G\u00f6del-numberings, principal morphisms, combinatory algebras\" Nota Sci. D.I., Pisa.","DOI":"10.1007\/BFb0030322"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1002\/malq.19550010407","volume":"1","author":"J. Myhill","year":"1955","unstructured":"Myhill, J., Shepherdson, J. (1955) \"Effective operations on partial recursive functions\" Zeit. Math. Logik Grund. Math. vol. 1, 310\u2013317.","journal-title":"Zeit. Math. Logik Grund. Math."},{"key":"12_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0098600","volume-title":"Recursion on the countable functionals","author":"D. Normann","year":"1980","unstructured":"Normann, D. (1980) Recursion on the countable functionals, LNM 811 Springer-Verlag, Berlin."},{"key":"12_CR17","unstructured":"Rogers, H. (1967) \"Theory of recursive functions and effective computability\" Mc Graw-Hill."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Scott, D.S. (1972) \"Continuous lattices\" In F. Lawvere (ed.) Toposes, Algebraic Geometry and Logic, LNM 274, Springer-Verlag.","DOI":"10.1007\/BFb0073967"},{"key":"12_CR19","unstructured":"Scott, D.S. (1980) \"Relating theories of the \u03bb-Calculus\" Same volume as Lambek (1980)."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Scott, D.S. (1982) \"Some ordered sets in Computer Science\" In I. Rival (ed.) Ordered sets, Reidel.","DOI":"10.1007\/978-94-009-7798-3_22"},{"key":"12_CR21","unstructured":"Visser, A. (1980) \"Numerations lambda-calculus and arithmetic\" Same volume as Lambek (1980)."}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T20:29:05Z","timestamp":1640896145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}