Structure of proofs and the complexity of cut elimination

Wenhui Zhang. Structure of proofs and the complexity of cut elimination. Theoretical Computer Science, 353(1-3):63-70, 2006. [doi]

Abstract

Abstract is missing.