Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective

DOI10.1007/BFb0018341zbMath1496.03134OpenAlexW2161119255MaRDI QIDQ5096248

No author found.

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0018341

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15) Categorical aspects of linear logic (18M45)

Related Items

Principal types of BCK-lambda-terms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• Topology and logic as a source of algebra
• Deductive systems and categories