Cut-elimination for full intuitionistic linear logic /
Braüner, Torben.
De Paiva, Valeria.
University of Cambridge.Computer Laboratory.
Cambridge : Computer Laboratory, University of Cambridge,
1996.