Stefano Guerrini, Patrizia Marzuoli. Commutative Locative Quantifiers for Multiplicative Linear Logic. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener, editors, Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Volume 4052 of Lecture Notes in Computer Science, pages 396-407, Springer, 2006. [doi]
Abstract is missing.