Advances in linear logic /
Girard, Jean-Yves.
Lafont, Yves.
Regnier, Laurent.
Cambridge : Cambridge University Press,
1995.
Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
Logic, Symbolic and mathematical