KIND_REPORT.bib

@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/KIND_REPORT.cite -ob Publi/KIND_REPORT.bib -c '$type = "PHDTHESIS"' -c !topic="NOCITE" 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.97.