Danvy, O., & Schultz, U. P. (2004). Lambda-Lifting in Quadratic Time. BRICS Report Series, 11(12). https://doi.org/10.7146/brics.v11i12.21837