Danvy, O. An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS 1999, 6.