Publié le : 1991-12-14
Classification:
03F05,
03G30,
18D99
@article{1093636017,
author = {Jay, C. Barry},
title = {Coherence in category theory and the Church-Rosser property.},
journal = {Notre Dame J. Formal Logic},
volume = {32},
number = {2},
year = {1991},
pages = { 140-143},
language = {en},
url = {http://dml.mathdoc.fr/item/1093636017}
}
Jay, C. Barry. Coherence in category theory and the Church-Rosser property.. Notre Dame J. Formal Logic, Tome 32 (1991) no. 2, pp. 140-143. http://gdmltest.u-ga.fr/item/1093636017/