Munk, Johan. “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 15, no. 3 (april 12, 2008). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/21938.