New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi

A. J. Kfoury, J. B. Wells

Browse the full LICS paper archive.