Advances in Linear Logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

Bibliographic Details

Online Access:	Full Text (via ProQuest)
Other Authors:	Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent
Format:	eBook
Language:	English
Published:	Cambridge : Cambridge University Press, 1995.
Series:	London Mathematical Society lecture note series ; no. 222.
Subjects:	Logic, Symbolic and mathematical > Congresses. Logic, Symbolic and mathematical. Conference papers and proceedings.