Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing.

Vito Michele Abrusci, Roberto Maieli

Browse the full FG paper archive.