@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/}
}