Subexponentials in non-commutative linear logic

Max I. Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov. Subexponentials in non-commutative linear logic. Mathematical Structures in Computer Science, 29(8):1217-1249, 2019. [doi]

Abstract

Abstract is missing.