Classical and Intuitionistic Logic Are Asymptotically Identical.

Herv Fournier, Danile Gardy, Antoine Genitrini, Marek Zaionc

Browse the full CSL paper archive.