Danvy O. An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS [Internet]. 13. januar 1998 [henvist 7. december 2025];5(2). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21961