TY - RPRT TI - On noncommutative extensions of linear logic AU - Sergey Slavnov PY - 2019 DO - 10.23638/lmcs-15(3:30)2019 UR - https://arxiv.org/abs/1703.10092 ID - 1703.10092 ER -