Mercurial > cpdt > repo
diff latex/cpdt.bib @ 343:be8c7aae20f4
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} +}