{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:51Z","timestamp":1725663831706},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:09:06Z","timestamp":1330240146000},"page":"222-231","source":"Crossref","is-referenced-by-count":5,"title":["On the adequacy of per models"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90074-C","volume":"91","author":"R. Amadio","year":"1989","unstructured":"Amadio R. [1989] \u201cRecursion over realizability structures\u201d, Info.&Comp., 91, 1, (55\u201385), 1991. Also appeared as TR 1\/89 Dipartimento di Informatica, Universit\u00e0 di Pisa.","journal-title":"Info.&Comp."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Amadio R. [1990] \u201cDomains in a Realizability Framework\u201d, in Proc. CAAP91, Brighton, SLNCS 493, Abramsky S., Maibaum T. (eds.), (241\u2013263), full version appeared as Liens TR 19-90.","DOI":"10.1007\/3-540-53982-4_14"},{"key":"14_CR3","unstructured":"Amadio R. [1992] \u201cOn the adequacy of per models\u201d, RR 1579 Inria-Lorraine, January 1992 (20 pages)."},{"key":"14_CR4","unstructured":"Amadio R., Cardelli L. [1990] \u201cSubtyping Recursive Types\u201d, in Proc. ACM-POPL91, Orlando. Full version appeared as DEC-SRC TR #62 and TR 133 Inria-Lorraine, in press on ACM-TOPLAS."},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/1385-7258(79)90016-7","volume":"41","author":"J Baeten","year":"1979","unstructured":"Baeten J, Boerboom B. [1979] \u201c\u03a9 can be anything it shouldn't be\u201d, Indag. Math. 41, (111\u2013120).","journal-title":"Indag. Math."},{"key":"14_CR6","unstructured":"Cardelli L. [1989] \u201cThe Quest language and system\u201d, internal note, DEC-SRC, Palo Alto."},{"key":"14_CR7","unstructured":"Cardelli L., Longo G.[1990] \u201cA semantic basis for Quest\u201d, ACM-Lisp and F. P. 90, Nice."},{"key":"14_CR8","unstructured":"Freyd P., Mulry P., Rosolini G., Scott D. [1990] \u201cExtensional Pers\u201d, 5th IEEE-LICS, Philadelphia."},{"key":"14_CR9","unstructured":"Girard J.Y., Lafont Y., Taylor P. [1989] \u201cProofs and Types\u201d, Cambridge University Press."},{"key":"14_CR10","unstructured":"Hyland M. [1991] \u201cFirst steps in synthetic domain theory\u201d, in Proc. Category Theory 90, Como, Carboni&al. (eds.). Springer-Verlag."},{"key":"14_CR11","unstructured":"Martin-L\u00f6f [1983] \u201cThe domain interpretation of type theory\u201d, in Proc. Workshop on the Semantics of Programming Languages, Dybierd&al (eds.), Chalmers University, G\u00f6teborg."},{"key":"14_CR12","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] \u201cPartial morphisms in categories of effective objects\u201d, Info.&Comp., 76, (250\u2013277).","journal-title":"Info.&Comp."},{"key":"14_CR13","volume-title":"lecture notes","author":"G. Plotkin","year":"1985","unstructured":"Plotkin G. [1985] \u201cDenotational semantics with partial functions\u201d, lecture notes, CSLI, Stanford 1985."},{"key":"14_CR14","unstructured":"Rosolini G. [1986] \u201cContinuity and effectiveness in Topoi\u201d, PhD Thesis, Oxford University."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:08:34Z","timestamp":1605629314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}