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). Accessed December 23, 2025. https://tidsskrift.dk/brics/article/view/21938.