TY  - RPRT
TI  - Linear logic with idempotent exponential modalities: a note
AU  - Sergey Slavnov
PY  - 2014
UR  - https://arxiv.org/abs/1407.5988
ID  - 1407.5988
ER  -