YEAR_2003.bib

@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: bib2bib -oc Publi/YEAR_2003.cite -ob Publi/YEAR_2003.bib -c year=2003 Publi/bibdata.bib}}

@phdthesis{GregoirePhd,
  author = {B. Gr{\'e}goire},
  title = {Compilation des termes de preuves: un (nouveau) mariage entre Coq et Ocaml.},
  school = {Universit\'e Paris 7},
  year = {2003},
  type = {Th\'ese de doctorat, sp\'ecialit\'e informatique},
  address = {\'ecole Polytechnique, France},
  month = {December},
  url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/gregoire_these.ps.gz}
}

This file was generated by bibtex2html 1.96.