A mathematical semantics for a nondeterministic typed λ-calculus
- 1 July 1980
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 11 (3) , 227-245
- https://doi.org/10.1016/0304-3975(80)90015-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Power domainsJournal of Computer and System Sciences, 1978
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Fixpoint approach to the theory of computationCommunications of the ACM, 1972
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967