Danvy, O. 1998. An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series. 5, 2 (Jan. 1998). DOI:https://doi.org/10.7146/brics.v5i2.21961.