Self-Interpretations in lambda Calculus

Henk Barendregt. Self-Interpretations in lambda Calculus. Journal of Functional Programming, 1(2):229-233, 1991.

@article{Barendregt91a,
  title = {Self-Interpretations in lambda Calculus},
  author = {Henk Barendregt},
  year = {1991},
  researchr = {https://researchr.org/publication/Barendregt91a},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {1},
  number = {2},
  pages = {229-233},
}