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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Intrigila:IC97" or $key="B84:nh" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ic = {Information and Computation}}

@book{B84:nh,
  author = {Henk Barendregt},
  year = {1984},
  title = {The Lambda Calculus, its Syntax and Semantics},
  publisher = {North-Holland},
  address = {Amsterdam},
  edition = {Second}
}

@article{Intrigila:IC97,
  author = {Benedetto Intrigila},
  title = {Non-existent Statman's Double Fixed Point Combinator
		Does Not Exist, Indeed},
  journal = ic,
  volume = 137,
  number = 1,
  year = 1997,
  pages = {35--40}
}