Ajout paradoxe Chicli

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

1 files changed, 19 insertions, 8 deletions

diff --git a/doc/biblio.bib b/doc/biblio.bib
index 2317ee3bc..06ef069d2 100755
--- a/doc/biblio.bib
+++ b/doc/biblio.bib
@@ -178,6 +178,17 @@ s},
         YEAR               = {1993}
 }
 
+@INPROCEEDINGS{ChiPotSimp03,
+  AUTHOR    = {Laurent Chicli and Lo�c Pottier and Carlos Simpson},
+  ADDRESS   = {Berg en Dal, The Netherlands},
+  TITLE     = {Mathematical Quotients and Quotient Types in Coq},
+  BOOKTITLE = {TYPES'02},
+  PUBLISHER = {Springer-Verlag},
+  SERIES    = {LNCS},
+  VOLUME    = {2646},
+  YEAR      = {2003}
+}
+
 @TECHREPORT{CoC89,
         AUTHOR             = {Projet Formel},
         INSTITUTION        = {INRIA},
@@ -299,7 +310,7 @@ s},
   booktitle = "Proceedings of TYPES'99, L��keberg",
   publisher = "Springer-Verlag LNCS",
   year      = "1999",
-  note      =
+  url      =
     "\\{\sf ftp://ftp.inria.fr/INRIA/Projects/coq/David.Delahaye/papers/}"#
     "{\sf TYPES99-SIsos.ps.gz}"
 }
@@ -314,7 +325,7 @@ s},
   pages     = "85--95",
   month     = "November",
   year      = "2000",
-  note      =
+  url      =
     "{\sf ftp://ftp.inria.fr/INRIA/Projects/coq/David.Delahaye/papers/}"#
     "{\sf LPAR2000-ltac.ps.gz}"
 }
@@ -327,7 +338,7 @@ s},
   publisher = "INRIA",
   month     = "Janvier",
   year      = "2001",
-  note      =
+  url      =
     "\\{\sf ftp://ftp.inria.fr/INRIA/Projects/coq/David.Delahaye/papers/}"#
     "{\sf JFLA2000-Field.ps.gz}"
 }
@@ -441,7 +452,7 @@ s},
   year =	 2000,
   note = 	 {To appear in the Journal of Functional Programming.  
                   [English translation of \cite{Filliatre99}]},
-  note =         {\url{http://www.lri.fr/~filliatr/ftp/publis/jphd.ps.gz}}
+  url =         {\url{http://www.lri.fr/~filliatr/ftp/publis/jphd.ps.gz}}
 }
 
 @PhdThesis{Filliatre99,
@@ -451,7 +462,7 @@ s},
   school = 	 {Universit\'e Paris-Sud},
   year = 	 1999,
   month =	 {July},
-  note =         {\url{http://www.lri.fr/~filliatr/ftp/publis/these.ps.gz}}
+  url =         {\url{http://www.lri.fr/~filliatr/ftp/publis/these.ps.gz}}
 }
 
 @Unpublished{Filliatre99c,
@@ -460,7 +471,7 @@ s},
   month =        {January},
   year =         2000,
   note = 	 {Submitted to \emph{Science of Computer Programming}},
-  note =         {\url{http://www.lri.fr/~filliatr/ftp/publis/find.ps.gz}}
+  url =         {\url{http://www.lri.fr/~filliatr/ftp/publis/find.ps.gz}}
 }
 
 @InProceedings{FilliatreMagaud99,
@@ -469,7 +480,7 @@ s},
   booktitle =    {Theorem Proving in Higher Order Logics: 
                   Emerging Trends},
   year =	 1999,
-  note = {\url{http://www.lri.fr/~filliatr/ftp/publis/Filliatre-Magaud.ps.gz}}
+  url = {\url{http://www.lri.fr/~filliatr/ftp/publis/Filliatre-Magaud.ps.gz}}
 }
 
 @UNPUBLISHED{Fle90,
@@ -729,7 +740,7 @@ of the {ML} language},
         booktitle       = {Proceedings of the TYPES'2002 workshop},
         year            = 2002,
         note            = {to appear},
-        note            = {draft at \url{http://www.lri.fr/~letouzey/download/extraction2002.ps.gz}}
+        url            = {draft at \url{http://www.lri.fr/~letouzey/download/extraction2002.ps.gz}}
 }
 
 @BOOK{MaL84,