Strong Normalisation of Cut-Elimination (2000)

by C Urban, G M Bierman
Venue:in Classical Logic. Fundamenta Informaticae 45