Mercurial > cpdt > repo
comparison 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 |
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 } |