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]. 2008 Apr. 12 [cited 2024 Apr. 27];15(3). Available from: https://tidsskrift.dk/brics/article/view/21938