The Connection between Equivalence of Proofs and Cartesian Closed Categories
From MaRDI portal
Publication:4077995
DOI10.1112/plms/s3-31.3.289zbMath0317.02036OpenAlexW2007512721MaRDI QIDQ4077995
Publication date: 1975
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s3-31.3.289
Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)
Related Items (9)
Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Unique normal forms for lambda calculus with surjective pairing ⋮ Closed categories and the theory of proofs ⋮ A coherence theorem for canonical morphisms in Cartesian closed categories ⋮ A note on the elimination rules ⋮ The typed lambda-calculus is not elementary recursive ⋮ The category of finite sets and Cartesian closed categories ⋮ Equality of morphism and coherence theorem for biclosed categories ⋮ An interpretation of classical proofs
This page was built for publication: The Connection between Equivalence of Proofs and Cartesian Closed Categories
