Danvy, Olivier, and Ulrik P. Schultz. 2002. “Lambda-Lifting in Quadratic Time”. BRICS Report Series 9 (30). https://doi.org/10.7146/brics.v9i30.21952.