{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:53Z","timestamp":1725663893343},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:35Z","timestamp":1330208435000},"page":"241-263","source":"Crossref","is-referenced-by-count":2,"title":["Domains in a realizability framework"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abadi M., Plotkin G. [1990] \"A per model of polymorphism and recursive types\", 5th IEEE-LICS, Philadelphia.","key":"14_CR1","DOI":"10.1109\/LICS.1990.113761"},{"unstructured":"Amadio R. [1989] \"Recursion over realizability structures\", TR 1\/89 Dipartimento di Informatica, Universit\u00e0 di Pisa, (to appear on Info.&Comp.).","key":"14_CR2"},{"unstructured":"Amadio R., Cardelli L. [1990] \"Subtyping Recursive Types\", DEC-SRC TR #62, ext. abs. to appear in Proc. ACM-POPL91.","key":"14_CR3"},{"issue":"1\u20132","key":"14_CR4","first-page":"196","volume":"87","author":"K. Bruce","year":"1990","unstructured":"Bruce K., Longo G. [1990] \"A modest model of records, inheritance and bounded quantification\", Info&Comp., 87, 1\u20132, (196\u2013240), Preliminary version in Proc. of IEEE-LICS 88.","journal-title":"Info&Comp."},{"unstructured":"Carboni A., Freyd P., Scedrov A. [1987] \"A categorical approach to realizability and polymorphic types\" 3rd ACM Symp. on Math. Found of Language semantics, New Orleans.","key":"14_CR5"},{"doi-asserted-by":"crossref","unstructured":"Cardelli L., Longo G. [1990] \"A semantic basis for Quest\", in Proc LISP&FP, Nice.","key":"14_CR6","DOI":"10.1145\/91556.91586"},{"doi-asserted-by":"crossref","unstructured":"Coppo M. [1985] \"A completeness theorem for recursively defined types\", in Proc. 12th ICALP, Nafplion, Greece 1985, SLNCS 194.","key":"14_CR7","DOI":"10.1007\/BFb0015737"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/0890-5401(89)90023-0","volume":"80","author":"P-L. Curien","year":"1988","unstructured":"Curien P-L., Obtulowicz A. [1988] \"Partiality, Cartesian Closedness and Toposes\", Information & Computation, 80, (50\u201395).","journal-title":"Information & Computation"},{"doi-asserted-by":"crossref","unstructured":"Droste M., G\u00f6bel R. [1990] \"Universal domains in the theory of denotational semantics of programming languages\", IEEE-LICS 90, Philadelphia.","key":"14_CR9","DOI":"10.1109\/LICS.1990.113730"},{"doi-asserted-by":"crossref","unstructured":"Freyd P., Mulry P., Rosolini G., Scott D. [1990] \"Extensional Pers\", 5th IEEE-LICS, Philadelphia.","key":"14_CR10","DOI":"10.1109\/LICS.1990.113760"},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0022-4049(90)90055-M","volume":"63","author":"C. Gunter","year":"1990","unstructured":"Gunter C., Jung A. [1990] \"Coherence and Consistency in Domains\", J.P.Apl.Alg., 63, (49\u201366).","journal-title":"J.P.Apl.Alg."},{"doi-asserted-by":"crossref","unstructured":"Hyland M. [1982] \"The effective Topos,\" in The Brouwer Symposium, (Troelstra, Van Dalen eds.), North-Holland.","key":"14_CR12","DOI":"10.1016\/S0049-237X(09)70129-6"},{"issue":"2","key":"14_CR13","first-page":"135","volume":"40","author":"M. Hyland","year":"1988","unstructured":"Hyland M. [1988] \"A small complete category\", APAL, 40, 2, (135\u2013165).","journal-title":"APAL"},{"doi-asserted-by":"crossref","unstructured":"Longo G., Moggi E. [1984] \"Cartesian closed categories of enumerations for effective type-structures\", in Symp. on Semantics of Data Types, Kahn&al. (eds.), SLNCS 173.","key":"14_CR14","DOI":"10.1007\/3-540-13346-1_12"},{"unstructured":"Longo G., Moggi E. [1988] \"Constructive Natural Deduction and its Modest Interpretation\", CMU Report CS-88-131, Lecture delivered at the workshop \"The semantics of natural and programming languages\" Stanford, March 1987.","key":"14_CR15"},{"key":"14_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the working mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane S. [1971] \"Categories for the working mathematician\", Springer-Verlag, New York."},{"key":"14_CR17","volume-title":"Realizability and Recursive mathematics","author":"D. McCarthy","year":"1984","unstructured":"McCarthy D. [1984] \"Realizability and Recursive mathematics\" Ph. D. Thesis, Merton College, Oxford."},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1016\/0890-5401(88)90010-7","volume":"76","author":"E. Moggi","year":"1988","unstructured":"Moggi E. [1988] \"Partial morphisms in categories of effective objects\", Info.&Comp., 76, (250\u2013277).","journal-title":"Info.&Comp."},{"issue":"1","key":"14_CR19","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0022-4049(82)90030-5","volume":"26","author":"P. Mulry","year":"1981","unstructured":"Mulry P. [1981] \"Generalized Banach-Mazur functionals in the topos of recursive sets\", J. Pure Apl. Algebra, 26, 1, (71\u201383).","journal-title":"J. Pure Apl. Algebra"},{"key":"14_CR20","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. f\u00fcr Math. Logik und Grund. der Math., 1, (310\u2013317).","journal-title":"Zeit. f\u00fcr Math. Logik und Grund. der Math."},{"unstructured":"Paulin-Mohring C. [1989] \"Extraction de programmes dans le calcul des contructions\", th\u00e8se, Paris VII.","key":"14_CR21"},{"doi-asserted-by":"crossref","unstructured":"Phoa W. [1990] \"Effective domains and intrinsic structure\", 5th IEEE-LICS, Philadelphia.","key":"14_CR22","DOI":"10.1109\/LICS.1990.113762"},{"unstructured":"Plotkin G. [1980\/4] \"Domains\", lecture notes, C.S. Dept., Edinburgh.","key":"14_CR23"},{"key":"14_CR24","first-page":"95","volume":"79","author":"E. Robinson","year":"1988","unstructured":"Robinson E., Rosolini P. [1988] \"Categories of partial maps\", Info&Co., 79, (95\u2013130).","journal-title":"Info&Co."},{"unstructured":"Rosolini G. [1986] \"Continuity and effectiveness in Topoi\" PhD Thesis, Oxford University.","key":"14_CR25"},{"key":"14_CR26","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott D. [1976] \"Data types as lattices,\" SIAM Journal of Computing, 5 (pp. 522\u2013587).","journal-title":"SIAM Journal of Computing"},{"key":"14_CR27","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M. Smyth","year":"1977","unstructured":"Smyth M. [1977] \"Effectively Given Domains\", Theoret. Comput. Sci. 5, (255\u2013272).","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR28","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. Smyth","year":"1982","unstructured":"Smyth M., Plotkin G. [1982] \"The category-theoretic solution of recursive domain equations\" SIAM Journal of Computing 11, (pp.761\u2013783).","journal-title":"SIAM Journal of Computing"},{"doi-asserted-by":"crossref","unstructured":"Soare R. [1987] \"Recursively enumerable sets and degrees\", Springer-Verlag.","key":"14_CR29","DOI":"10.1007\/978-3-662-02460-7"},{"unstructured":"Streicher T. [1990] \"Independence results for impredicative calculi of dependent types\", preprint.","key":"14_CR30"},{"unstructured":"Troelstra A., van Dalen D. [1988] \"Constructivism in Mathematics\", 2 vols., North-Holland.","key":"14_CR31"},{"doi-asserted-by":"crossref","unstructured":"Wand M. [1979] \"Fixed-point Constructions in Order-enriched Categories\", Theoret. Comp. Sci. (13\u201330).","key":"14_CR32","DOI":"10.1016\/0304-3975(79)90053-7"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:46Z","timestamp":1605646306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}