Strong Normalization for Second Order Classical Natural Deduction

Strong Normalization for Second Order Classical Natural Deduction Michel Parigot 39-46 conf/lics/LICS8 1993 LICS db/conf/lics/lics93.html#Parigot93