TY  - RPRT
TI  - Undecidability of Multiplicative Subexponential Logic
AU  - Kaustuv Chaudhuri
PY  - 2015
DO  - 10.4204/eptcs.176.1
UR  - https://arxiv.org/abs/1502.04769
ID  - 1502.04769
ER  -