Linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.

Bibliographic Details
Uniform Title:London Mathematical Society lecture note series ; 222.
Corporate Author: Linear Logic Workshop
Other Authors: Girard, Jean-Yves
Lafont, Yves
Regnier, Laurent
Language:English
Published: Cambridge ; New York : Cambridge University Press, 1995.
Series:London Mathematical Society lecture note series ; 222.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Genre:
Congresses.
Physical Description:vi, 389 pages : illustrations ; 23 cm.
Format: Conference Proceeding Book
Description
Note:Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
Call Number:QA9.A1 A387 1993
Bibliography Note:Includes bibliographical references.
ISBN:0521559618 (pbk.)