A Proof of the Focusing Theorem via MALL Proof Nets.

Roberto Maieli

Browse the full WoLLIC paper archive.