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

Table of contents

Remote Storage