Pages that link to "Item:Q5946340"
From MaRDI portal
The following pages link to Linguistic application of first order intuitionistic linear logic (Q5946340):
Displaying 9 items.
- Non-commutative linear logic in linguistics (Q700787) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- Natural language semantics and computability (Q2425328) (← links)
- The displacement calculus (Q2429994) (← links)
- Dutch Grammar and Processing: A Case Study in TLG (Q3623844) (← links)
- A Note on Multidimensional Dyck Languages (Q5414970) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- Making first order linear logic a generating grammar (Q6137829) (← links)
- Multimodality in the Hypergraph Lambek Calculus (Q6196502) (← links)
