Reference

2003
A Judgmental Analysis of Linear Logic
Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning
Technical Report CMU-CS-03-131R