Danvy, O.; Schultz, U. P. Lambda-Lifting in Quadratic Time. BRICS 2004, 11.