Une extension de la theorie des types en λ-calcul
- 1 January 1978
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 398-410
- https://doi.org/10.1007/3-540-08860-1_30
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Les modeles informatiques des λ-calculsPublished by Springer Nature ,2005
- λ-Terms as total or partial functions on normal formsPublished by Springer Nature ,2005
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- Types in combinatory logic.Notre Dame Journal of Formal Logic, 1964