@Bibtex-file{Theory/scedrov.bib,
  title =        "Bibliography on linear logic in computer science",
  author =       "Andre Scedrov",
  email =        "andre@saul.cis.upenn.edu",
  supported =    "gone",
}