Lambek, Joachim Deductive systems and categories. III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic. (English) Zbl 0244.18006 Toposes, algebraic Geometry and Logic, Dalhousie Univ. Halifax 1971, Lect. Notes Math. 274, 57-82 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 11 Documents MSC: 18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.) 03B40 Combinatory logic and lambda calculus 03F55 Intuitionistic mathematics 03B55 Intermediate logics 18A15 Foundations, relations to logic and deductive systems PDFBibTeX XML