Focusing and polarization in linear, intuitionistic, and classical logics (0)

by Chuck Liang, Dale Miller
Venue:Theoretical Computer Science