Relations and non-commutative linear logic
non-commutative intuitionistic linear logic
scientific article; zbMATH DE number 858613
scientific article