TY  - RPRT
TI  - Partial Orders, Residuation, and First-Order Linear Logic
AU  - Richard Moot
PY  - 2020
UR  - https://arxiv.org/abs/2008.06351
ID  - 2008.06351
ER  -