Cover Image

Advances in linear logic /

Bibliographic Details
Corporate Author: Linear Logic Workshop
Other Authors: Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent
Format: Conference Proceeding Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 1995.
Series:London Mathematical Society lecture note series ; 222.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Online Access:Table of contents
Description
Item Description:Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
Physical Description:vi, 389 pages : illustrations ; 23 cm.
ISBN:0521559618 (pbk.)