Vito Michele Abrusci

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 2

Top Topics

Natural Language Processing

Proof Theoretic

Desirable Properties

Top Venues

Publications

Vito Michele Abrusci, Roberto Maieli
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing. FG (2015)
Vito Michele Abrusci, Roberto Maieli
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing. WoLLIC (2015)