Bibliography on Linear Logic

This bibliography is a by-product 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ürmann. 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.

Whenever available, URL links to the referenced papers are provided.

We encourage the individual authors to make their contributions available on the World Wide Web.

This, like any bibliography, is incomplete. Any corrections, updates, comments, suggestion, new entries, new URLs 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 also available in the following formats:

  • HTML (including hypertext links)
  • BibTeX (the source)
  • Postscript (with citation labels)
  • DVI (with citation labels)
  • Authors index
    • What's new in linear logic

    This bibliography is currently maintained by iliano@cs.cmu.edu) with the help of carsten@cs.cmu.edu) and fp@cs.cmu.edu).

    Last modified: Thu May 7 10:05:52 EDT 1998

    Iliano Cervesato (iliano@cs.cmu.edu)