Focusing and Polarization in Intuitionistic Logic.

Chuck C. Liang, Dale Miller

Browse the full CSL paper archive.