Correctness of Multiplicative (and Exponential) Proof Structures is

Paulin Jacob de Naurois, Virgile Mogbil

Browse the full CSL paper archive.