The following pages link to (Q5536273):
Displayed 19 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages (Q442141) (← links)
- A polynomial algorithm for the membership problem with categorial grammars (Q671431) (← links)
- Logic and grammar (Q692192) (← links)
- Meaning and interpretation. I (Q878159) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- What is context for? Syntax in a non-abstract world (Q1777371) (← links)
- Semantic bootstrapping of type-logical grammar (Q1778102) (← links)
- Categorial dependency grammars (Q2344756) (← links)
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures (Q2369010) (← links)
- Meaning and interpretation. II (Q2642523) (← links)
- On Meta-Knowledge and Truth (Q3600575) (← links)
- The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable (Q4923557) (← links)
- k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures (Q4924528) (← links)
- Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages (Q5200050) (← links)
- (Q5202638) (← links)
- Machine Translation and Type Theory (Q5253933) (← links)
- Learning Lambek Grammars from Proof Frames (Q5414961) (← links)
- Generalized Categorial Dependency Grammars (Q5452181) (← links)