Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Cockett, J.R.B., Seely, R.A.G. (1997) Theory and Applications of Categories [electronic only]