2004-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2004-phd.cite -ob 2004-phd.bib -c 'year = 2004 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@phdthesis{chrzaszcz04phd,
  author = {Jacek Chrz\k{}aszcz},
  title = {Modules in Type Theory with Generative Definitions},
  school = {Warsaw University, Poland and Universit\'e de Paris-Sud},
  year = 2004,
  month = jan,
  type_publi = {these},
  topics = {team}
}
@phdthesis{letouzey2004phd,
  author = {Pierre Letouzey},
  title = {Programmation fonctionnelle certifi{\'e}e: l'extraction de programmes dans l'assistant {Coq}},
  school = {Universit{\'e} Paris-Sud},
  year = 2004,
  month = jul,
  type = {Th{\`e}se de Doctorat},
  topics = {team},
  type_publi = {these},
  url = {http://www.lri.fr/~letouzey/download/these_letouzey.ps.gz}
}
@phdthesis{rotaru02phd,
  author = {Mihai Rotaru},
  title = {Sur une th\'eorie unificatrice des mod\`eles de concurrence},
  school = {Cluj University, Romania and Universit\'e de Paris-Sud},
  year = 2004,
  month = jan,
  type_publi = {these},
  topics = {team}
}