A short proof of the strong normalization of the simply typed λµ-calculus (2009)

by René David , Karim Nour
Citations:26 - 20 self