Focusing and polarization in intuitionistic logic (2007)

by Chuck Liang , Dale Miller
Venue:CSL 2007: Computer Science Logic, volume 4646 of LNCS
Citations:25 - 12 self