Down with lambda lifting. copies available at: erik@cs.kun.nl (1991)

by E Meijer, R Paterson