1998-phd.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1998-phd.cite -ob 1998-phd.bib -c 'year = 1998 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{engel98these,
author = {Emmanuel Engel},
title = {Extensions s{\^u}res et praticables du syst{\`e}me de types
de ML en pr{\'e}sence d'un langage de modules et de traits
imp{\'e}ratifs},
school = {Universit{\'e} Paris-Sud},
year = 1998,
address = {Orsay, France},
type = {Th{\`e}se de Doctorat},
month = may,
type_publi = {these},
topics = {team, lri},
clef_labo = {Eng98T}
}
@phdthesis{courant98thesis,
author = {Judica{\"e}l Courant},
title = {Un calcul de modules pour les syst\`{e}mes de types purs},
year = 1998,
type = {Th\`{e}se de Doctorat},
school = {Ecole Normale Sup\'{e}rieure de Lyon},
ps = {http://www.lri.fr/~jcourant/papers/these/PhD98-03.ps.Z},
type_publi = {these},
topics = {module systems, type theory, team}
}