Danvy, Olivier, and Ulrik P. Schultz. “Lambda-Lifting in Quadratic Time”. BRICS Report Series 9, no. 30 (June 13, 2002). Accessed April 25, 2024. https://tidsskrift.dk/brics/article/view/21952.