O. Danvy, “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”, BRICS, vol. 5, no. 2, Jan. 1998.