Strong Normalization for Second Order Classical Natural Deduction

Michel Parigot

Browse the full LICS paper archive.