1999-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1999-report.cite -ob 1999-report.bib -c 'year = 1999 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{CoqManual99,
  author = {B. Barras  and S. Boutin  and C. Cornes  and J. Courant and
          Y. Coscoy and D. Delahaye and D. de Rauglaudre and
          J.C. Filli\^atre and E. Gim\'enez and H. Herbelin and
          G. Huet and H. Laulh\`ere and P. Loiseleur and C. Mu{\~n}oz and
          C. Murthy and C. Parent and C. Paulin and A. Sa{\"\i}bi and
          B. Werner},
  title = {{The Coq Proof Assistant Reference Manual -- Version V6.3}},
  year = 1999,
  month = jul,
  type_publi = {manuel},
  topics = {team},
  note = {\url{http://coq.inria.fr/doc/main.html}},
  abstract = {http://coq.inria.fr/doc/main.html}
}

@manual{CoqTutorial99,
  author = {G.~Huet and G.~Kahn and Ch.~Paulin-Mohring},
  title = {The {\sf Coq} Proof Assistant - A tutorial - Version 6.3},
  month = jul,
  topics = {team},
  type_publi = {manuel},
  year = {1999},
  abstract = {http://coq.inria.fr/doc/tutorial.html}
}

@techreport{Cou99,
  author = {Judica\"el Courant},
  title = {{$\mathcal{MC}$: A module calculus for Pure Type Systems}},
  institution = {LRI},
  year = 1999,
  month = jun,
  type = {Research Report},
  number = 1217,
  type_publi = {interne},
  clef_labo = 1217,
  topics = {team},
  ps = {http://www.lri.fr/~jcourant/papers/thesis/main.ps}
}

@techreport{Filliatre99rr,
  author = {Jean-Christophe Filli\^atre},
  title = {{A theory of monads parameterized by effects}},
  institution = {{LRI, Universit\'e Paris Sud}},
  type = {{Research Report}},
  number = {1367},
  month = {November},
  year = 1999,
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/monads.ps.gz},
  topics = {team, lri},
  type_publi = {interne}
}