Generalized Connectives for Multiplicative Linear Logic.

Matteo Acclavio, Roberto Maieli

Browse the full CSL paper archive.