Danvy, Olivier. “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”. BRICS Report Series 5, no. 2 (January 13, 1998). Accessed February 11, 2026. https://tidsskrift.dk/brics/article/view/21961.