FILINSKI, A.; ROHDE, H. K. A Denotational Account of Untyped Normalization by Evaluation. BRICS Report Series, [S. l.], v. 10, n. 40, 2003. DOI: 10.7146/brics.v10i40.21808. Disponível em: https://tidsskrift.dk/brics/article/view/21808. Acesso em: 25 apr. 2024.