Cartesian closed categories and typed λ-calculi
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 136-175
- https://doi.org/10.1007/3-540-17184-3_44
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Aspects of higher order categorical logicPublished by American Mathematical Society (AMS) ,1984
- Pre-recursive categoriesJournal of Pure and Applied Algebra, 1982
- Functional completeness of cartesian categoriesAnnals of Mathematical Logic, 1974
- Functionals defined by recursion.Notre Dame Journal of Formal Logic, 1967
- Closed CategoriesPublished by Springer Nature ,1966
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958