Down with Lambda Lifting (1991)

by E Meijer, R Paterson
Venue:ESPRIT Basic Research Action No. 3147 (the Phoenix Project