Proofs of Strong Normalisation for Second Order Classical Natural Deduction (1997)

by M Parigot
Venue:J. Symb. Log