Non-commutative intuitionistic linear logic