Shivers, O., & Wand, M. (2004). Bottom-Up beta-Substitution: Uplinks and lambda-DAGs. BRICS Report Series, 11(38). https://doi.org/10.7146/brics.v11i38.21863