On focusing and polarities in linear logic and intuitionistic logic (2006)

by Chuck Liang , Dale Miller
Citations:6 - 2 self