%O Report 
%F gallier91b
%A Gallier, J.
%T Constructive Logics, Part 2: Linear Logic and Proof Nets
%N 0
%I Digital Paris Research Laboratory
%8 May
%D 1991
%K typetheory