A Note on the Complexity of Classical and Intuitionistic Proofs.

Matthias Baaz, Alexander Leitsch, Giselle Reis

Browse the full LICS paper archive.