Stable models of typed λ-calculi
- 1 January 1978
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Minimal and optimal computations of recursive programsPublished by Association for Computing Machinery (ACM) ,1977
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-CalculusSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Bottom-up computation of recursive programsRevue française d'automatique informatique recherche opérationnelle. Informatique théorique, 1976
- Models of LCFPublished by Defense Technical Information Center (DTIC) ,1973