O. Danvy, “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”, BRICS, bd. 5, nr. 2, jan. 1998.