The following pages link to (Q3128065):
Displaying 9 items.
- On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
- On translating context-free grammars into Lambek grammars (Q902051) (← links)
- Lambek calculus for transformational grammar (Q1768811) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Unique typed basic categorial grammars (Q2674668) (← links)
- Pāṇini's Grammar and Modern Computation (Q2963983) (← links)
- (Q3726092) (← links)
- (Q4358450) (← links)
- The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars (Q5327381) (← links)