An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
- 31 August 1992
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 45 (1) , 49-75
- https://doi.org/10.1016/0022-0000(92)90040-p
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- 1984: The Public and Private Governance of Race RelationsSociological Focus, 1984
- A filter lambda model and the completeness of type assignmentThe Journal of Symbolic Logic, 1983
- Set-theoretical models of λ-calculus: theories, expansions, isomorphismsAnnals of Pure and Applied Logic, 1983
- Approximate Reduction and Lambda Calculus ModelsSIAM Journal on Computing, 1978
- LCF considered as a programming languageTheoretical Computer Science, 1977
- 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