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