Danvy, Olivier, and Ulrik P. Schultz. 2004. “Lambda-Lifting in Quadratic Time”. BRICS Report Series 11 (12). https://doi.org/10.7146/brics.v11i12.21837.