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

@comment{{Command line: /usr/bin/bib2bib -c '$key="V80:cl" or $key="S91:cmu" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@techreport{S91:cmu,
  author = {Richard Statman},
  title = {There is No Hyperrecurrent {S,K} Combinator},
  institution = {Department of Mathematics, Carnegie Mellon
                 University},
  address = {Pittsburgh, PA},
  type = {Research Report},
  number = {91--133},
  year = 1991
}

@incollection{V80:cl,
  author = {A. Visser},
  title = {Numerations, Lambda Calculus, and Arithmetic},
  booktitle = {Essays on Combinatory Logic, Lambda-Calculus, and
     Formalism},
  publisher = {Academic Press},
  year = {1980},
  editor = {Hindley and Seldin},
  pages = {259--284}
}