Reference

2003
A Judgmental Analysis of Linear Logic
Technical Report CMU-CS-03-131R