DANVY, O.; SCHULTZ, U. P. Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, [S. l.], v. 5, n. 54, 1998. DOI: 10.7146/brics.v5i54.21959. Disponível em: https://tidsskrift.dk/brics/article/view/21959. Acesso em: 24 nov. 2024.