{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:34Z","timestamp":1725664234863},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580270"},{"type":"electronic","value":"9783540484196"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58027-1_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:08:43Z","timestamp":1330268923000},"page":"359-377","source":"Crossref","is-referenced-by-count":4,"title":["Mechanizing logical relations"],"prefix":"10.1007","author":[{"given":"Allen","family":"Stoughton","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"18_CR1","unstructured":"S. Abramsky. The lazy lambda calculus. In D. L. Turner, editor, Research Topics in Functional Programming, pages 65\u2013116. Addison-Wesley, 1990."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"P.-L. Curien. Categorical Combinators, Sequential Algorithms and Functional Programming. Progress in Theoretical Computer Science. Birkh\u00e4user, 1993.","DOI":"10.1007\/978-1-4612-0317-9"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"A. Jung and A. Stoughton. Studying the fully abstract model of PCF within its continuous function model. In M. Bezem and J. F. Groote, editors, International Conference on Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science, pages 230\u2013244. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0037109"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"A. Jung and J. Tiuryn. A new characterization of lambda definability. In M. Bezem and J. F. Groote, editors, International Conference on Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science, pages 245\u2013257. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0037110"},{"key":"18_CR5","unstructured":"R. Loader. The undecidability of \u03bb-definability. In M. Zeleny, editor, The Church Festschrift. CSLI\/University of Chicago Press, 1994."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"J. C. Mitchell. Type systems for programming languages. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 8, pages 367\u2013458. Elsevier Science Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. D. Plotkin","year":"1977","unstructured":"G. D. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5:223\u2013256, 1977.","journal-title":"Theoretical Computer Science"},{"key":"18_CR8","unstructured":"G. D. Plotkin. Lambda-definability in the full type hierarchy. In J. Seldin and J. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363\u2013374. Academic Press, 1980."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"K. Sieber. Reasoning about sequential functions via logical relations. In M. P. Fourman, P. T. Johnstone, and A. M. Pitts, editors, Applications of Categories in Computer Science, volume 177 of LMS Lecture Note Series, pages 258\u2013269. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511525902.015"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58027-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:25Z","timestamp":1605647785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58027-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580270","9783540484196"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58027-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}