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

@comment{{Command line: /usr/bin/bib2bib -c '$key="LescanneR94" or $key="Munioz:lics96" or $key="CurienHardinLevy92" or $key="Mellies95" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@inproceedings{Munioz:lics96,
  author = {C{\'e}sar  Mu{\~n}oz},
  title = {Confluence and Preservation of Strong Normalisation in
		an Explicit Substitutions Calculus (Extended Abstract)},
  crossref = {lics96},
  pages = {440--447}
}

@techreport{LescanneR94,
  author = {Lescanne, Pierre and Rouyer-Degli, J.},
  title = {The Calculus of explicit substitutions $\lambda\upsilon$},
  institution = {INRIA-Lorraine},
  year = {1994},
  number = {RR-2222},
  month = jan
}

@inproceedings{Mellies95,
  author = {Paul-Andr\'e Melli\`es},
  title = {Typed $\lambda$-calculi with explicit substitutions may
			not terminate},
  crossref = {tlca95}
}

@techreport{CurienHardinLevy92,
  author = {Pierre-Louis Curien and Th\'er\`ese Hardin and
                        Jean-Jacques L{\'e}vy},
  title = {Confluence properties of weak and strong calculi of
			explicit substitutions},
  institution = {Institut National de Rechereche en Informatique et
             	    en Automatique},
  type = {RR},
  number = {1617},
  address = {Rocquencourt, France},
  year = 1992,
  month = feb
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{lics96,
  booktitle = {Eleventh } # lics,
  title = {Eleventh } # lics,
  editor = {Edmund C. Clarke},
  year = 1996,
  month = jul,
  address = {New Brunswick, NJ},
  organization = ieee
}

@proceedings{tlca95,
  booktitle = {Typed Lambda Calculi and Applications},
  title = {Typed Lambda Calculi and Applications},
  year = 1995
}