Functional completeness of cartesian categories

Annals of Mathematical Logic

Volumn 6, Issue 3-4, 1974, Pages 259-292

  Lambek, J ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000584175     PISSN: 00034843     EISSN: None     Source Type: Journal    
DOI: 10.1016/0003-4843(74)90003-5     Document Type: Article

References (26)

1. A formulation of the simple theory of types
2. The Calculi of Lambda Conversion
3. Some additions to the theory of combinators
4. The inconsistency of certain formal logics
5. Recent advances in combinatory logic
6. Closed categories
7. Aspects of topoi
8. λ-definability and recursiveness
9. The inconsistency of certain formal logics
10. Every standard construction is induced by a pair of adjoint functors
11. Deductive systems and categories I
12. Deductive systems and categories II
13. Deductive systems and categories III
14. Adjointness in foundations
15. Equality in hyperdoctrines and comprehension schema as an adjoint functor
16. Introduction to toposes, algebraic geometry and logic
17. A mathematical logic without variables
18. A Mathematical logic without variables
19. New sets of postulates for combinatory logics
20. On the building blocks of mathematical logic
21. Continuous lattices