Danvy O, Schultz UP. Lambda-Lifting in Quadratic Time. BRICS [Internet]. 13. juni 2002 [henvist 19. december 2025];9(30). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21952