O. Danvy, “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”, BRICS, vol. 6, no. 21, Jan. 1999.