TY  - RPRT
TI  - Categorical Proof Theory of Co-Intuitionistic Linear Logic
AU  - Gianluigi Bellin
PY  - 2014
DO  - 10.2168/lmcs-10(3:16)2014
UR  - https://arxiv.org/abs/1407.3416
ID  - 1407.3416
ER  -