 
Summary: Bibliography on Linear Logic
This bibliography is a byproduct of the seminar on Linear Logic and Applications 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 logic and its
applications in computer science, a few related references concerning other substructural logics
(such as relevance logic or the Lambek calculus) are included.
This, like any bibliography, is incomplete. Any corrections, updates, comments, suggestion,
new entries, new URL's for papers, etc. are very much appreciated. In particular, help us filling
the ``??''. Please, send feedback to the maintainers.
When compiling this bibliography, we had the chance to access material from Andre Scedrov's
and Harold Schellinx and Anne S. Troelstra's linear logic bibliographies, as well as from the
DIKU types bibliography. We would like to acknowledge their authors.
This document is available in the following formats:
ffl BibTeX: http://www.cs.cmu.edu/~carsten/linearbib/linear.bib
ffl Html: http://www.cs.cmu.edu/~carsten/linearbib/linearbib.html
ffl Postscript: http://www.cs.cmu.edu/~carsten/linearbib/linearbib.ps
ffl DVI: http://www.cs.cmu.edu/~carsten/linearbib/linearbib.dvi
This bibliography is currently maintained by Carsten Sch¨urmann (carsten@cs.cmu.edu) with
the help of Frank Pfenning (fp@cs.cmu.edu).
Last modified: May 7, 1998.
