Pages that link to "Item:Q2947459"
From MaRDI portal
The following pages link to Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459):
Displaying 5 items.
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (Q3586061) (← links)
- (Q5028444) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- Parsing MELL proof nets (Q5940925) (← links)