Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic.

Mati Pentus

Browse the full LFCS paper archive.