Danvy, O. (1999) “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”, BRICS Report Series, 6(21). doi: 10.7146/brics.v6i21.20078.