Focusing and Polarization in Linear, Intuitionistic, and Classical Logics (2009)

by Chuck Liang , Dale Miller
Citations:43 - 18 self