Shivers O, Wand M. Bottom-Up beta-Substitution: Uplinks and lambda-DAGs. BRICS [Internet]. 11. december 2004 [henvist 5. december 2025];11(38). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21863