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

Cached

Download Links

by René David , Karim Nour
Venue:SCHEDAE INFORMATICAE
Citations:26 - 21 self