Expressibility of functions in D. Scott's LCF language
- 1 May 1976
- journal article
- research article
- Published by Springer Nature in Algebra and Logic
- Vol. 15 (3) , 192-206
- https://doi.org/10.1007/bf01876321
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Lambda Calculus and Recursion Theory (Preliminary Version)Published by Elsevier ,1975
- Continuous latticesLecture Notes in Mathematics, 1972