Munk, Johan

• BRICS Report Series No. 3 (2008): RS-3 A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization... - Articles
  A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of...
  Abstract  PDF