The following pages link to Categorial grammar and type theory (Q909654):
Displaying 18 items.
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- The logic of categorial grammars. A deductive account of natural language syntax and semantics (Q433866) (← links)
- Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages (Q442141) (← links)
- Closed categories and categorial grammar (Q689191) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- Language in action (Q1177646) (← links)
- Combinators and categorial grammar (Q1264141) (← links)
- Syntactic calculus with dependent types (Q1280047) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- Unique typed basic categorial grammars (Q2674668) (← links)
- (Q3352515) (← links)
- (Q3754602) (← links)
- (Q4511316) (← links)
- Types in mathematics and in linguistics (Q4762306) (← links)
- (Q5202638) (← links)
- Machine Translation and Type Theory (Q5253933) (← links)