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

@comment{{Command line: /usr/bin/bib2bib -c '$key="B91:hlcs" or $key="W94:lics" or $key="H90:aw" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@inproceedings{W94:lics,
  author = {Joe B. Wells},
  title = {Typability and Type Checking in the Second-Order
		{$\lambda$}-Calculus Are Equivalent and Undecidable},
  crossref = {lics94}
}

@book{H90:aw,
  title = {Logical Foundations of Functional Programming},
  publisher = {Addison-Wesley},
  year = {1990},
  editor = {G{\'e}rard Huet},
  series = {University of Texas at Austin Year of Programming},
  address = {Reading, MA}
}

@incollection{B91:hlcs,
  author = {Henk Barendregt},
  title = {Lambda calculi with types},
  year = 1991,
  booktitle = {Handbook of Logic in Computer Science},
  editor = {S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
  publisher = {Oxford University Press},
  address = {Oxford},
  note = {To appear}
}

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

@proceedings{lics94,
  booktitle = {Ninth } # lics,
  title = {Ninth } # lics,
  editor = {Samson Abramsky},
  year = 1994,
  month = jul,
  address = {Paris, France},
  organization = ieee
}