A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot

Browse the full LPAR paper archive.