Mercurial > cpdt > repo

diff latex/cpdt.bib @ 343:be8c7aae20f4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass over Universes
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Oct 2011 11:09:23 -0400
parents 25d60fed2e96
children 7466ac31f162
line wrap: on
line diff
--- a/latex/cpdt.bib	Sun Oct 16 10:46:15 2011 -0400
+++ b/latex/cpdt.bib	Mon Oct 17 11:09:23 2011 -0400
@@ -221,3 +221,11 @@
   pages =        "381--392",
   year =         "1972"
 }
+
+@INPROCEEDINGS{GirardsParadox,
+    author = {Thierry Coquand},
+    title = {An Analysis of {Girard's} Paradox},
+    booktitle = {Proceedings of the Symposium on Logic in Computer Science},
+    year = {1986},
+    pages = {227--236}
+}