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

by Michel Parigot
Venue:Journal of Symbolic Logic