TY  - JOUR
AU  - Olivier Laurent
TI  - On the categorical semantics of elementary linear logic
JO  - Theory and applications of categories
PY  - 2009
SP  - 269
EP  - 301
VL  - 22
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2009_22_a9/
LA  - en
ID  - TAC_2009_22_a9
ER  -