Munk, J. 2008. 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, 3 (Apr. 2008). DOI:https://doi.org/10.7146/brics.v15i3.21938.