@Bibtex-file{Theory/linear.logic.bib,
  title =        "Bibliography on Linear Logic",
  author-1 =     "Carsten Sch{\"u}rmann",
  email-1 =      "carsten@cs.cmu.edu",
  author-2 =     "Iliano Cervesato",
  email-2 =      "iliano@cs.stanford.edu",
  author-3 =     "Frank Pfenning",
  email-3 =      "fp@cs.cmu.edu",
  supported =    "gone",
  abstract =     "Although this bibliography 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.",
  readme =       "Whenever available, URL links to the referenced papers
                 are provided. \par We encourage the individual authors
                 to make their contributions available on the World Wide
                 Web. \par This, like any bibliography, is incomplete.
                 {\em Any corrections, updates, comments, suggestion,
                 new entries, new URLs for papers, etc. are very much
                 appreciated}. In particular, help us filling the
                 {"}??{"}.\par 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.",
}