TY - RPRT TI - Subexponentials in non-commutative linear logic AU - Max Kanovich AU - Stepan Kuznetsov AU - Vivek Nigam AU - Andre Scedrov PY - 2017 DO - 10.1017/s0960129518000117 UR - https://arxiv.org/abs/1709.03607 ID - 1709.03607 ER -