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