Symmetric normalisation for intuitionistic logic.

Nicolas Guenot, Lutz Straburger

Browse the full CSL paper archive.