Focusing the Inverse Method for Linear Logic.

Kaustuv Chaudhuri, Frank Pfenning

Browse the full CSL paper archive.