Danvy, O.; Schultz, U. P. Lambda-Lifting in Quadratic Time. BRICS 2002, 9.