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