2001-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2001-report.cite -ob 2001-report.bib -c 'year = 2001 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}}

@manual{CoqTutorialV7,
  author = {G. Huet and G. Kahn and Ch. Paulin-Mohring},
  title = {The {\sf Coq} Proof Assistant - A tutorial - Version 7.1},
  month = oct,
  year = 2001,
  url = {http://coq.inria.fr},
  topics = {team,lri},
  type_publi = {manuel}
}

@techreport{Courtieu01,
  author = {Pierre Courtieu},
  title = {Normalized Types},
  institution = {LRI},
  year = 2001,
  type = {Research Report},
  number = {1277},
  type_publi = {interne},
  topics = {team}
}

@techreport{courant01,
  author = {Judica{\"e}l Courant},
  title = {{$\mathcal{MC}_2$: A Module Calculus for Pure Type Systems}},
  institution = {LRI},
  year = 2001,
  month = sep,
  type = {Research Report},
  number = 1292,
  type_publi = {interne},
  clef_labo = 1292,
  topics = {team},
  ps = {http://www.lri.fr/~jcourant/papers/01/mc2rr.ps}
}

@techreport{unif2001,
  author = {Franz Baader and Volker Diekert and Cesare Tinelli and
		  Ralf Treinen},
  title = {UNIF 2001 - 15th International Workshop on Unification},
  institution = {Universit{\`a} degli Studi di Siena, Dipartimento di
		  Ingegneria dell'Informazione},
  type = {Technical Report},
  number = {DII 09/01},
  month = jun,
  year = 2001,
  address = {Siena, Italy},
  type_publi = {diffusion},
  topics = {team}
}