Relational Interpretations of Recursive Types in an Operational Setting
- 1 November 1999
- journal article
- Published by Elsevier in Information and Computation
- Vol. 155 (1-2) , 3-63
- https://doi.org/10.1006/inco.1999.2828
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Relational Properties of DomainsInformation and Computation, 1996
- Lambda-calculus schemataHigher-Order and Symbolic Computation, 1993
- Typing first-class continuations in MLJournal of Functional Programming, 1993
- Revised 4 report on the algorithmic language schemeACM SIGPLAN Lisp Pointers, 1991
- Logical relations and the typed λ-calculusInformation and Control, 1985
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975