Proofs of strong normalization for second order classical natural deduction (1997)

by M Parigot
Venue:Journal of Symbolic Logic