Summary: 



Bibliography on Linear Logic



This bibliography is a by-product of the seminar on Linear Logic and Applica*
*tions held at
Carnegie Mellon University in Spring 1995. This seminar was organized by Frank*
* Pfenning,
Iliano Cervesato and Carsten Sch"urmann. Although it concentrates on linear lo*
*gic and its
applications in computer science, a few related references concerning other sub*
*structural logics
(such as relevance logic or the Lambek calculus) are included.

This, like any bibliography, is incomplete. Any corrections, updates, commen*
*ts, suggestion,

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Schuermann, Carsten - Department of Computer Science, Yale University

Collections: Computer Technologies and Information Sciences; Mathematics