1997-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1997-report.cite -ob 1997-report.bib -c 'year = 1997 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{Kesner97tr,
  author = {Delia Kesner},
  topics = {team, cclserver, lri},
  title = {Confluence of Extensional and Non-Extensional
                 $\lambda$-calculi with Explicit Substitutions},
  institution = {LRI, Universit{\'e} Paris-Sud},
  type = {RR},
  type_publi = {interne},
  year = {1997},
  number = {1103},
  clef_labo = {1103}
}

@mastersthesis{monate97dea,
  author = {Benjamin Monate},
  title = {Automates de formes normales et r{\'e}ductibilit{\'e} inductive},
  school = {Universit{\'e} Paris-Sud},
  year = 1997,
  address = {Orsay, France},
  type = {Rapport de {DEA}},
  month = sep,
  topics = {team},
  ftp = {http://www.lix.polytechnique.fr/~monate/publi/Rapportdea.ps.gz}
}

@mastersthesis{munch97dea,
  author = {Fran\c{c}ois M{\"u}nch},
  title = {Compl{\'e}tion normalis{\'e}e inductive},
  school = {Universit{\'e} Paris-Sud},
  year = 1997,
  address = {Orsay, France},
  type = {Rapport de {DEA}},
  topics = {team}
}

@mastersthesis{urbain97dea,
  author = {Xavier Urbain},
  title = {Preuves de terminaison {\`a} l'aide de paires de
d{\'e}pendances},
  school = {Universit{\'e} Paris-Sud},
  year = 1997,
  address = {Orsay, France},
  type = {Rapport de {DEA}},
  topics = {team}
}