Domain-Free λµ-Calculus - Fujita, Ken-Etsu (RAIRO. Informatique théorique et applications, 2000)
Keywords: 68N18; 68Q05; call-by-value; Church-Rosser; CPS-translation; domain-free style; polymorphism; strong normalization; subject reduction; type checking; type inference; λµ-calculus