Higher-dimensional categories with finite derivation type.

Guiraud, Yves, and Malbos, Philippe. "Higher-dimensional categories with finite derivation type.." Theory and Applications of Categories [electronic only] 22 (2009): 420-478. <http://eudml.org/doc/222617>.

@article{Guiraud2009,
author = {Guiraud, Yves, Malbos, Philippe},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {-category; rewriting; polygraph; finite derivation type; convergence property; critical branching; coherence theorem; -category},
language = {eng},
pages = {420-478},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Higher-dimensional categories with finite derivation type.},
url = {http://eudml.org/doc/222617},
volume = {22},
year = {2009},
}

TY - JOUR
AU - Guiraud, Yves
AU - Malbos, Philippe
TI - Higher-dimensional categories with finite derivation type.
JO - Theory and Applications of Categories [electronic only]
PY - 2009
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 22
SP - 420
EP - 478
LA - eng
KW - -category; rewriting; polygraph; finite derivation type; convergence property; critical branching; coherence theorem; -category
UR - http://eudml.org/doc/222617
ER -