%0 Journal Article
%A Francois Lamarche
%T Exploring the gap between linear and classical logic
%J Theory and applications of categories
%D 2007
%P 473-535
%V 18
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2007_18_a16/
%G en
%F TAC_2007_18_a16