Efficient Self-Interpretation in Lambda Calculus (1994)

by Torben Æ. Mogensen, Torben Ae. Mogensen
Venue:Journal of Functional Programming