Glivenko's Theorem Underneath Structure.

Riccardo Borsetto, Giulio Fellin, Tarmo Uustalu, Cheng-Syuan Wan

Browse the full CiE paper archive.