Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic.

Sean McLaughlin, Frank Pfenning

Browse the full LPAR paper archive.