Danvy O, Schultz UP. Lambda-Lifting in Quadratic Time. BRICS [Internet]. 2002 Jun. 13 [cited 2024 Sep. 19];9(30). Available from: https://tidsskrift.dk/brics/article/view/21952