Ajout {A New Paradox in Type Theory}

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8314 85f007b7-540e-0410-9357-904b9bb8a0f7

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}},