diff options
| -rwxr-xr-x | doc/biblio.bib | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/biblio.bib b/doc/biblio.bib index e9e23e8027..8a6380d5ed 100755 --- a/doc/biblio.bib +++ b/doc/biblio.bib @@ -260,6 +260,14 @@ s}, YEAR = {1990} } +@INPROCEEDINGS{Coq91, + AUTHOR = {Th. Coquand}, + BOOKTITLE = {Proceedings 9th Int. Congress of Logic, Methodology and Philosophy of Science}, + TITLE = {{A New Paradox in Type Theory}}, + MONTH = {August}, + YEAR = {1991} +} + @INPROCEEDINGS{Coq92, AUTHOR = {Th. Coquand}, BOOKTITLE = {in \cite{Bastad92}}, |