SHIVERS, O.; WAND, M. Bottom-Up beta-Substitution: Uplinks and lambda-DAGs. BRICS Report Series, [S. l.], v. 11, n. 38, 2004. DOI: 10.7146/brics.v11i38.21863. Disponível em: https://tidsskrift.dk/brics/article/view/21863. Acesso em: 16 aug. 2024.