@Bibtex-file{Theory/CLiCS.bib,
  title =        "Categorical Logic In Computer Science Bibliography",
  author =       "Ian Mackie",
  address =      "Laboratoire d'Informatique\\ Ecole Polytechnique\\
                 91128 Palaiseau Cedex\\ France",
  email =        "mackie@lix.polytechnique.fr",
  keywords =     "theoretical computer science, category theory",
  supported =    "gone",
}

.