×

Why commutative diagrams coincide with equivalent proofs. (English) Zbl 0504.18004

Contemp. Math. 13, 387-401 (1982).
For the entire collection see [Zbl 0496.00006].

MSC:

18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
18A15 Foundations, relations to logic and deductive systems
03G30 Categorical logic, topoi
03F07 Structure of proofs
PDFBibTeX XMLCite
Full Text: DOI