Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic
- 1 January 1972
- book chapter
- Published by Springer Nature in Lecture Notes in Mathematics
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Adjointness in FoundationsDialectica, 1969
- Deductive systems and categories II. Standard constructions and closed categoriesLecture Notes in Mathematics, 1969
- Diagonal arguments and cartesian closed categoriesPublished by Springer Nature ,1969
- Deductive systems and categoriesTheory of Computing Systems, 1968
- Closed CategoriesPublished by Springer Nature ,1966