Skip to content

Commutative Locative Quantifiers for Multiplicative Linear Logic.

Stefano Guerrini, Patrizia Marzuoli

VenueA*ICALP
Year2006
ProceedingsICALP (2)

Browse the full ICALP paper archive.