Efficient Self-Interpretation in Lambda Calculus (1992)

by Torben Æ Mogensen
Venue:J. of Functional Programming