Polycategories
- 1 January 1975
- journal article
- research article
- Published by Taylor & Francis in Communications in Algebra
- Vol. 3 (8) , 663-689
- https://doi.org/10.1080/00927877508822067
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A categorical equivalence of proofs.Notre Dame Journal of Formal Logic, 1974
- Functional completeness of cartesian categoriesAnnals of Mathematical Logic, 1974
- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logicLecture Notes in Mathematics, 1972
- Coherence for distributivityPublished by Springer Nature ,1972
- Deductive systems and categories II. Standard constructions and closed categoriesLecture Notes in Mathematics, 1969
- Deductive systems and categoriesTheory of Computing Systems, 1968