Matthias Baaz, Alexander Leitsch, Giselle Reis. A Note on the Complexity of Classical and Intuitionistic Proofs.
LICS 2015 - 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2015, Kyoto, Japan. pp.657 - 666,
⟨10.1109/LICS.2015.66⟩.
⟨hal-01208346⟩