Functional completeness of cartesian categories
- 31 March 1974
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 6 (3-4), 259-292
- https://doi.org/10.1016/0003-4843(74)90003-5
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Adjointness in FoundationsDialectica, 1969
- Deductive systems and categoriesTheory of Computing Systems, 1968
- The inconsistency of certain formal logicsThe Journal of Symbolic Logic, 1942
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940
- λ-definability and recursivenessDuke Mathematical Journal, 1936
- A mathematical logic without variables. IIDuke Mathematical Journal, 1935
- The Inconsistency of Certain Formal LogicsAnnals of Mathematics, 1935
- A Mathematical Logic Without Variables. IAnnals of Mathematics, 1935
- Some Additions to the Theory of CombinatorsAmerican Journal of Mathematics, 1932