Danvy, O.; Schultz, U. P. Lambda-Lifting in Quadratic Time. BRICS 2003, 10.