@Bibtex-file{Compiler/reynolds.bib,
  title =        "Bibliography containing references to (categorical)
                 logic in computer science and type theory",
  author =       "John Reynolds",
  email =        "jcr@cs.cmu.edu",
  supported =    "no",
}

.