Modular Linear Logic.

Dmitry A. Archangelsky, Mikhail A. Taitslin

Browse the full LFCS paper archive.