TY  - RPRT
TI  - Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening
AU  - Anna Pentus
AU  - Mati Pentus
PY  - 2019
UR  - https://arxiv.org/abs/1912.03739
ID  - 1912.03739
ER  -