@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 $key="JGL:SKInT:conj" or $key="GGL:SKIn" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

@string{lncs = {Lecture Notes in Computer Science}}

@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
}

@article{GGL:SKIn,
  author = {Goguen, Healfdene and Goubault-Larrecq, Jean},
  title = {Sequent Combinators: A {H}ilbert System for the Lambda Calculus},
  journal = {Mathematical Structures in Computer Science},
  year = {2000},
  volume = {10},
  pages = {1--79},
  postscript = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/GogGou-MSCS2000.ps}
}

@incollection{JGL:SKInT:conj,
  author = {Goubault-Larrecq, Jean},
  title = {Conjunctive Types and {SKInT}},
  booktitle = {Proceedings of the TYPES'98 Workshop},
  publisher = springer,
  year = {1999},
  series = lncs,
  address = {Bad Irsee, Germany},
  postscript = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/Gou-types98.ps}
}

@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
}