Danvy, O., & Schultz, U. P. (2003). Lambda-Lifting in Quadratic Time. BRICS Report Series, 10(26). https://doi.org/10.7146/brics.v10i26.21794