Focusing and polarization in intuitionistic logic (2007)

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