Advances in linear logic
By: edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.
Contributors: Girard, Jean-Yves.; Lafont, Yves.; Regnier, Laurent.; Linear Logic Workshop (1993 : Mathematical Science Institute, Cornell University)
Series: London Mathematical Society lecture note series ;; 222
Publisher: Cambridge University Press
Published: 1995
Place of publication: Cambridge; New York, NY, USA
Language: eng
Number of pages: 389
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.