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

by C Liang, D Miller
Venue:Theoretical Computer Science