Evaluation under lambda abstraction (1997)

by Hongwei Xi
Venue:Springer-Verlag. Department of Computer Science, Aarhus University