Pages that link to "Item:Q1407588"
From MaRDI portal
The following pages link to A new correctness criterion for multiplicative non-commutative proof nets (Q1407588):
Displayed 3 items.
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)