Notre Dame Journal of Formal Logic

Coherence in category theory and the Church-Rosser property.

C. Barry Jay

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 33, Number 1 (1991), 140-143.

Dates
First available: 27 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093636017

Zentralblatt MATH identifier
0757.03026

Mathematical Reviews number (MathSciNet)
MR1149965

Digital Object Identifier
doi:10.1305/ndjfl/1093636017

Subjects
Primary: 03F05: Cut-elimination and normal-form theorems
Secondary: 03G30: Categorical logic, topoi [See also 18B25, 18C05, 18C10] 18D99: None of the above, but in this section

Citation

Jay, C. Barry. Coherence in category theory and the Church-Rosser property. Notre Dame Journal of Formal Logic 33 (1991), no. 1, 140--143. doi:10.1305/ndjfl/1093636017. http://projecteuclid.org/euclid.ndjfl/1093636017.


Export citation