Self-Interpretations in lambda Calculus

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

Authors

Henk Barendregt

This author has not been identified. Look up 'Henk Barendregt' in Google