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