TY  - RPRT
TI  - Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended Version
AU  - Ranald Clouston
AU  - Jeremy Dawson
AU  - Rajeev Gore
AU  - Alwen Tiu
PY  - 2013
UR  - https://arxiv.org/abs/1307.0289
ID  - 1307.0289
ER  -