Self-Interpretations in lambda Calculus

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

Abstract

Abstract is missing.