TY  - RPRT
TI  - Modelling Linear Logic Without Units (Preliminary Results)
AU  - Robin Houston
AU  - Dominic Hughes
AU  - Andrea Schalk
PY  - 2005
UR  - https://arxiv.org/abs/math/0504037
ID  - math/0504037
ER  -