Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
342:25d60fed2e96 343:be8c7aae20f4
219 journal = "Indag. Math.", 219 journal = "Indag. Math.",
220 volume = "34(5)", 220 volume = "34(5)",
221 pages = "381--392", 221 pages = "381--392",
222 year = "1972" 222 year = "1972"
223 } 223 }
224
225 @INPROCEEDINGS{GirardsParadox,
226 author = {Thierry Coquand},
227 title = {An Analysis of {Girard's} Paradox},
228 booktitle = {Proceedings of the Symposium on Logic in Computer Science},
229 year = {1986},
230 pages = {227--236}
231 }