Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms.

Cameron Allett

Browse the full LICS paper archive.