The following pages link to (Q4940719):
Displaying 13 items.
- Graphs of plural cuts (Q383359) (← links)
- Weakly distributive categories (Q674463) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- Semantic vector models and functional models for pregroup grammars (Q2255181) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Lambek calculus is NP-complete (Q2500488) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- (Q3121529) (← links)
