Focusing and polarization in intuitionistic logic (0)

by C Liang, D Miller
Venue:In CSL 2007: Computer Science