Strong normalization for second-order classical natural deduction (1993)

by M Parigot
Venue:In Eighth Annual IEEE Symposium on Logic In Computer Science