The following pages link to Type grammar revisited (Q4263075):
Displaying 50 items.
- Natural language semantics in biproduct dagger categories (Q280847) (← links)
- Displacement logic for anaphora (Q386040) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Logic and grammar (Q692192) (← links)
- The Pentus theorem for Lambek calculus with simple nonlogical axioms (Q817678) (← links)
- Commutation-augmented pregroup grammars and push-down automata with cancellation (Q948066) (← links)
- Extending free pregroups with lower bounds (Q993496) (← links)
- Pregroups and natural language processing (Q1002122) (← links)
- Toward discourse representation via pregroup grammars (Q1006460) (← links)
- From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)} (Q1006463) (← links)
- Pregroup grammars and Chomsky's earliest examples (Q1006493) (← links)
- On the complexity of nonassociative Lambek calculus with unit (Q1035836) (← links)
- Generalized relations in linguistics \& cognition (Q1628581) (← links)
- Pregroup grammars with letter promotions: complexity and context-freeness (Q1757847) (← links)
- Periodic lattice-ordered pregroups are distributive (Q1762476) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Lattice-ordered pregroups are semi-distributive (Q1996094) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- Quantum computations for disambiguation and question answering (Q2107064) (← links)
- Semantic vector models and functional models for pregroup grammars (Q2255181) (← links)
- Exploring feature agreement in French with parallel pregroup computations (Q2268352) (← links)
- A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction (Q2425336) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Applying pregroups to Italian statements and questions (Q2467215) (← links)
- Linear processing with pregroups (Q2467216) (← links)
- Commutation-augmented pregroup grammars and mildly context-sensitive languages (Q2467217) (← links)
- On the logic of \(\beta\)-pregroups (Q2467221) (← links)
- Should pregroup grammars be adorned with additional operations? (Q2467222) (← links)
- Efficiency of pregroups and the French noun phrase (Q2500780) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- Compositional Event Semantics in Pregroup Grammars (Q2963998) (← links)
- Uniqueness of Composition in Quantum Theory and Linguistics (Q3384943) (← links)
- Dependently Typed Grammars (Q3575266) (← links)
- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars (Q3587254) (← links)
- (Q4499487) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Galois Connections in Categorial Type Logic (Q4923551) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Ambiguity and Incomplete Information in Categorical Models of Language (Q5014785) (← links)
- DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (Q5377698) (← links)
- NP-Completeness of Grammars Based Upon Products of Free Pregroups (Q5414957) (← links)
- Distributional Semantics: A Montagovian View (Q5414958) (← links)
- Italian Clitic Patterns in Pregroup Grammar: State of the Art (Q5414963) (← links)
- On Associative Lambek Calculus Extended with Basic Proper Axioms (Q5414964) (← links)
- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars (Q5418966) (← links)
- Generalized Categorial Dependency Grammars (Q5452181) (← links)
- Type grammars as pregroups (Q5949346) (← links)
- Pre-rigid monoidal categories (Q6170146) (← links)
- A computational algebraic analysis of Hindi syntax (Q6190084) (← links)
