Title Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.

Publication Info.

Online access
Online eBook. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading this eBook

Item Status

Description	1 online resource (vi, 389 pages) : illustrations.
Physical Medium	polychrome
Description	text file
Series	London Mathematical Society lecture note series ; 222
	London Mathematical Society lecture note series ; 222.
Note	Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
Bibliography	Includes bibliographical references.
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Logic, Symbolic and mathematical -- Congresses.
	Logic, Symbolic and mathematical.
Genre/Form	Electronic books.
	Conference papers and proceedings.
	Conference papers and proceedings.
Added Author	Girard, Jean-Yves.
	Lafont, Yves.
	Regnier, Laurent.
	Linear Logic Workshop (1993 : Mathematical Sciences Institute, Cornell University)
Other Form:	Print version: Advances in linear logic. Cambridge ; New York, NY, USA : Cambridge University Press, 1995 0521559618 (DLC) 95016325 (OCoLC)32392940
ISBN	9781107362420 (electronic book)
	1107362423 (electronic book)
	0521559618
	9780521559614