Non-associative, Non-commutative Multi-modal Linear Logic.

Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov

Browse the full CADE paper archive.