Commutative Locative Quantifiers for Multiplicative Linear Logic. - Guerrini, Stefano; Marzuoli, Patrizia (2006)