An efficient interpreter for the lambda-calculus (1981)

by L Aiello, G Prini
Venue:The Journal of Computer and System Sciences