A judgmental analysis of linear logic (2003)

by Bor-Yuh Evan Chang, Kaustuv Chaudhuri, Frank Pfenning