TY  - THES
DP  - 
		http://www.theses.fr/2005TOU30238
TI  - Théorie de la preuve des catégories monoïdales symétriques fermées : cohérence et équivalences de dérivations
AU  - Méhats, Laurent
A3  - Soloviev, Sergei
PY  - 2005
SP  - 1 vol. ( 182 p.)
N1  - Thèse de doctorat Informatique Toulouse 3 2005
N1  - 2005TOU30238
ER  -