Approximate Reduction and Lambda Calculus Models
- 1 August 1978
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 7 (3) , 337-356
- https://doi.org/10.1137/0207028
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Data types as latticesPublished by Springer Nature ,2006
- An algebraic interpretation of the λβK-calculus and a labelled λ-calculusPublished by Springer Nature ,2005
- Continuous semantics and inside-out reductionsPublished by Springer Nature ,2005
- A survey of some useful partial order relations on terms of the lambda calculusPublished by Springer Nature ,2005
- Infinite normal forms for the λ-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
- A Syntactic Characterization of the Equality in Some Models for the Lambda CalculusJournal of the London Mathematical Society, 1976
- Models for Various Type-Free CalculiPublished by Elsevier ,1973