Coherence in category theory and the Church-Rosser property

DOI10.1305/NDJFL/1093636017zbMath0757.03026OpenAlexW2031437328MaRDI QIDQ1187545

C. Barry Jay

Publication date: 22 July 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636017

zbMATH Keywords

equivalence of derivationsreductions of Gentzen-type derivations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Proof of a conjecture of S. Mac Lane

This page was built for publication: Coherence in category theory and the Church-Rosser property