TY  - RPRT
TI  - Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
AU  - Maxime Amblard
AU  - Christian Retoré
PY  - 2014
UR  - https://arxiv.org/abs/1402.0474
ID  - 1402.0474
ER  -