{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:16Z","timestamp":1762458976462},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540542339"},{"type":"electronic","value":"9783540475163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54233-7_123","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:37:44Z","timestamp":1330191464000},"page":"35-46","source":"Crossref","is-referenced-by-count":5,"title":["Extensional embedding of a strongly stable model of PCF"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Bucciarelli","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Ehrhard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"3_CR1","unstructured":"G. Berry Mod\u00e8les des lambda-calculs typ\u00e9s Th\u00e8se de Doctorat, Universit\u00e9 Paris 7, 1979."},{"key":"3_CR2","unstructured":"G. Berry Stable models of typed lambda calculi LNCS 62."},{"key":"3_CR3","unstructured":"A. Bucciarelli, T. Ehrhard Sequentiality and strong stability LICS 91."},{"key":"3_CR4","unstructured":"P.L. Curien Categorical combinators, Sequential Algorithms and Functional Programming Pitman, 1986."},{"key":"3_CR5","unstructured":"P.L. Curien Algorithmes s\u00e9quentiels et extensionalit\u00e9 Rapport LITP 82-67, Uiversit\u00e9 Paris 6\u20137, 1982."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"J.Y. Girard The system F of variable types fifteen years later Theoretical Computer Science, vol. 45, 1986.","DOI":"10.1016\/0304-3975(86)90044-7"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"R. Milner Fully abstract models of typed lambda-calculi TCS 4, 1977.","DOI":"10.1016\/0304-3975(77)90053-6"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"G. Plotkin LCF considered as a programming language TCS 5, 1977.","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"G. Winskel An introduction to Event Structures LNCS 354, 1988.","DOI":"10.7146\/dpb.v18i278.6655"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54233-7_123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:53:05Z","timestamp":1605628385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54233-7_123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540542339","9783540475163"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-54233-7_123","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}