A Logical Framework with Commutative and Non-commutative Subexponentials.

Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov

Browse the full CADE paper archive.