From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic.

Dale Miller, Alexis Saurin

Browse the full CSL paper archive.