Shivers O, Wand M. Bottom-Up beta-Substitution: Uplinks and lambda-DAGs. BRICS [Internet]. 2004 Dec. 11 [cited 2024 Apr. 25];11(38). Available from: https://tidsskrift.dk/brics/article/view/21863