%0 Journal Article
%A J.R.B. Cockett
%A R.A.G. Seely
%T Proof theory for full intuitionistic linear logic, 
bilinear logic, and MIX categories
%J Theory and applications of categories
%D 1997
%P 85-131
%V 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_1997_3_a4/
%G en
%F TAC_1997_3_a4