Strong Normalization of the Dual Classical Sequent Calculus.

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec

Browse the full LPAR paper archive.