MUNK, J. A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of... BRICS Report Series, [S. l.], v. 15, n. 3, 2008. DOI: 10.7146/brics.v15i3.21938. Disponível em: https://tidsskrift.dk/brics/article/view/21938. Acesso em: 28 apr. 2024.