λ-definable functionals andβη conversion
- 1 December 1983
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 23 (1) , 21-26
- https://doi.org/10.1007/bf02023009
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- The typed λ-calculus is not elementary recursiveTheoretical Computer Science, 1979