%0 Journal Article
%A Valeria de Paiva
%A Eike Ritter
%T A Parigot-style linear $\lambda$-calculus for full intuitionistic linear 
logic
%J Theory and applications of categories
%D 2006
%P 30-48
%V 17
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2006_17_a2/
%G en
%F TAC_2006_17_a2