A new type assignment for λ-terms
- 1 December 1978
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 19 (1) , 139-156
- https://doi.org/10.1007/bf02011875
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- λ-Terms as total or partial functions on normal formsPublished by Springer Nature ,2005
- Lattice TheoryPublished by American Mathematical Society (AMS) ,1940
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940