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 [Internet]. 12. april 2008 [henvist 5. december 2025];15(3). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21938