Fully abstract models of typed λ-calculi
- 28 February 1977
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 4 (1), 1-22
- https://doi.org/10.1016/0304-3975(77)90053-6
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A survey of some useful partial order relations on terms of the lambda calculusPublished by Springer Nature ,2005
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-CalculusSIAM Journal on Computing, 1976