Efficient Self-Interpretations in lambda Calculus

Torben Æ. Mogensen. Efficient Self-Interpretations in lambda Calculus. Journal of Functional Programming, 2(3):345-363, 1992.

Abstract

Abstract is missing.