Danvy, Olivier. “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”. BRICS Report Series 6, no. 21 (January 21, 1999). Accessed February 10, 2026. https://tidsskrift.dk/brics/article/view/20078.