Voir la notice de l'article provenant de la source Theory and Applications of Categories website
@article{TAC_1997_3_a4, author = {J.R.B. Cockett and R.A.G. Seely}, title = {Proof theory for full intuitionistic linear logic, bilinear logic, and {MIX} categories}, journal = {Theory and applications of categories}, pages = {85--131}, publisher = {mathdoc}, volume = {3}, year = {1997}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_1997_3_a4/} }
TY - JOUR AU - J.R.B. Cockett AU - R.A.G. Seely TI - Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories JO - Theory and applications of categories PY - 1997 SP - 85 EP - 131 VL - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_1997_3_a4/ LA - en ID - TAC_1997_3_a4 ER -
J.R.B. Cockett; R.A.G. Seely. Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Theory and applications of categories, Tome 3 (1997), pp. 85-131. http://geodesic.mathdoc.fr/item/TAC_1997_3_a4/