{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171338},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633884"},{"type":"electronic","value":"9783540695301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0014563","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T04:17:33Z","timestamp":1132719453000},"page":"458-490","source":"Crossref","is-referenced-by-count":5,"title":["Relational interpretations of recursive types in an operational setting (Summary)"],"prefix":"10.1007","author":[{"given":"Lars","family":"Birkedal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Harper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"2","key":"19_CR1","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Martin Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems, 13(2):237\u2013268, April 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR2","unstructured":"Lars Birkedal and Robert Harper. Relational interpretations of recursive types in an operational setting. Unpublished manuscript."},{"issue":"3","key":"19_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/382130.382133","volume":"IV","author":"W. Clinger","year":"1991","unstructured":"William Clinger and Jonathan Rees. Revised4 report on the algorithmic language Scheme. LISP Pointers, IV(3):1\u201355, July-Sep. 1991.","journal-title":"LISP Pointers"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Bruce Duba, Robert Harper, and David MacQueen. Typing first-class continuations in ML. In Eighteenth ACM Symposium on Principles of Programming Languages, January 1991.","DOI":"10.1145\/99583.99608"},{"key":"19_CR5","unstructured":"Andrzej Filinski. Controlling Effects. CMU-CS-96-119, School of Computer Science, Carnegie Mellon University, May 1996."},{"issue":"3\/4","key":"19_CR6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BF01019461","volume":"6","author":"M. J. Fischer","year":"1993","unstructured":"Michael J. Fischer. Lambda-calculus schemata. LISP and Symbolic Computation, 6(3\/4):259\u2013288, November 1993.","journal-title":"LISP and Symbolic Computation"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Peter Freyd. Algebraically complete categories. In A. Carboni, M. C. Pedicchio, and G. Rosolini, editors, Category Theory. Proceedings, Como 1990, volume 1488 of Lecture Notes in Mathematics, pages 95\u2013104. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0084215"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Peter Freyd. Recursive types reduced to inductive types. In Proceedings of the fifth IEEE Conference on Logic in Computer Science, pages 498\u2013507, 1990.","DOI":"10.1109\/LICS.1990.113772"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Peter Freyd. Remarks on algebraically compact categories. In M. P. Fourman, P.T. Johnstone, and A. M. Pitts, editors, Applications of Categories in Computer Science. Proceedings of the LMS Symposium, Durham 1991, volume 177 of London Mathematical Society Lecture Note Series, pages 95\u2013106. Cambridge University Press, 1991.","DOI":"10.1017\/CBO9780511525902.006"},{"key":"19_CR10","unstructured":"Jean-Yves Girard. Interpr\u00e9tation Fonctionnelle et \u00c9limination des Coupures dans l'Arithm\u00e9tique d'Ordre Sup\u00e9rieure. PhD thesis, Universit\u00e9 Paris VII, 1972."},{"key":"19_CR11","unstructured":"Carl A. Gunter. Semantics of Programming Languages. Structures and Techniques. MIT Press, 1992."},{"issue":"4","key":"19_CR12","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1017\/S095679680000085X","volume":"3","author":"R. Harper","year":"1993","unstructured":"Robert Harper, Bruce Duba, and David MacQueen. Typing first-class continuations in ML. Journal of Functional Programming, 3(4):465\u2013484, October 1993.","journal-title":"Journal of Functional Programming"},{"key":"19_CR13","first-page":"198","volume-title":"4th Annual Symposium on Logic in Computer Science","author":"D. J. Howe","year":"1989","unstructured":"D. J. Howe. Equality in lazy computation systems. In 4th Annual Symposium on Logic in Computer Science, pages 198\u2013203. IEEE Computer Society Press, Washington, 1989."},{"key":"19_CR14","unstructured":"S\u00f8ren Lassen. Relational reasoning about contexts. Unpublished manuscript."},{"key":"19_CR15","unstructured":"Ian A. Mason, Scott F. Smith, and Carolyn L. Talcott. From operational semantics to domain theory. Information and Computation, 1995. To Appear."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Albert R. Meyer and Mitchell Wand. Continuation semantics in typed lambda calculi (summary). In Rohit Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, pages 219\u2013224. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15648-8_17"},{"key":"19_CR17","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"John C. Mitchell. Type systems for programming languages. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, Formal Models and Semantics, chapter 8, pages 366\u2013458. Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"19_CR19","unstructured":"John C. Mitchell. Foundations for Programming Languages. Foundations of Computing. MIT Press, 1996."},{"key":"19_CR20","unstructured":"James H. Morris. Lambda Calculus Models of Programming Languages. PhD thesis, MIT, 1968."},{"key":"19_CR21","unstructured":"Andrew M. Pitts. Operationally-based theories of program equivalence. In In Proc. of Summer School on Semantics and Logics of Computation. ESPRIT CLiCSII. University of Cambridge. Isaac Newton Institute for Mathematical Sciences., September 1995."},{"issue":"2","key":"19_CR22","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1006\/inco.1996.0052","volume":"127","author":"A. M. Pitts","year":"1996","unstructured":"Andrew M. Pitts. Relational properties of domains. Information and Computation, 127(2):66\u201390, June 1996.","journal-title":"Information and Computation"},{"key":"19_CR23","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"Gordon Plotkin. Call-by-name, call-by-value, and the lambda calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"19_CR24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. Plotkin","year":"1977","unstructured":"Gordon Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5:223\u2013257, 1977.","journal-title":"Theoretical Computer Science"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. On the relation between direct and continuation semantics. In J. Loeckx, editor, Proceedings of the Second Colloquium on Automata, Languages and Programming, Saarbr\u00fccken, volume 174 of Lecture Notes in Computer Science, pages 141\u2013156. Springer-Verlag, 1974.","DOI":"10.1007\/3-540-06841-4_57"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:48:04Z","timestamp":1586566084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633884","9783540695301"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0014563","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}