TY  - RPRT
TI  - Extended Lambek calculi and first-order linear logic
AU  - Richard Moot
PY  - 2013
UR  - https://arxiv.org/abs/1305.6238
ID  - 1305.6238
ER  -