A Systematic Approach to Canonicity in the Classical Sequent Calculus.

Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller

Browse the full CSL paper archive.