The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- 1 September 1976
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 5 (3), 488-521
- https://doi.org/10.1137/0205036
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Infinite normal forms for the λ-calculusPublished by Springer Nature ,2005
- Approximate Reduction and Lambda Calculus ModelsSIAM Journal on Computing, 1978
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Models for Various Type-Free CalculiPublished by Elsevier ,1973