The following pages link to Richard Moot (Q209449):
Displaying 11 items.
- The logic of categorial grammars. A deductive account of natural language syntax and semantics (Q433866) (← links)
- Proof nets for the multimodal Lambek calculus (Q1850954) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- Natural language semantics and computability (Q2425328) (← links)
- Proof Nets for the Displacement Calculus (Q2835060) (← links)
- Using Tree Transducers for Grammatical Inference (Q3010352) (← links)
- Categorial Grammars and Minimalist Grammars (Q3013022) (← links)
- Generalized Quantifiers in Declarative and Interrogative Sentences (Q4454092) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- (Q5416219) (← links)
- Linguistic application of first order intuitionistic linear logic (Q5946340) (← links)
