Danvy, O., & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. BRICS Report Series, 9(30). https://doi.org/10.7146/brics.v9i30.21952