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

Vito Michele Abrusci, Roberto Maieli

Browse the full WoLLIC paper archive.