The following pages link to (Q4650584):
Displayed 7 items.
- Correctness of linear logic proof structures is NL-complete (Q534703) (← links)
- A geometrical procedure for computing relaxation (Q1011756) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- (Q5014808) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- Learning Lambek Grammars from Proof Frames (Q5414961) (← links)