TY  - RPRT
TI  - Linear Logic without Units
AU  - Robin Houston
PY  - 2013
UR  - https://arxiv.org/abs/1305.2231
ID  - 1305.2231
ER  -