Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System.

Antoine Genitrini, Jakub Kozik

Browse the full LFCS paper archive.