Danvy, O. An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS 1998, 5.