1998-phd.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 1998-phd.cite -ob 1998-phd.bib -c 'year = 1998 and topics : "team" and $type="phdthesis"' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/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}
}