A judgmental analysis of linear logic (2003)

by B-Y E Chang, K Chaudhuri, F Pfenning