Pages that link to "Item:Q964491"
From MaRDI portal
The following pages link to Continuation semantics for the Lambek-Grishin calculus (Q964491):
Displaying 15 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- Polarized Montagovian Semantics for the Lambek-Grishin Calculus (Q3167297) (← links)
- Linearly-Used Continuations in the Enriched Effect Calculus (Q3557841) (← links)
- (Q4222903) (← links)
- (Q4499270) (← links)
- (Q4806298) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- On Residuation (Q5414955) (← links)
- Distributional Semantics: A Montagovian View (Q5414958) (← links)
- Logical Aspects of Computational Linguistics (Q5706949) (← links)
- Logic Based Program Synthesis and Transformation (Q5713940) (← links)
- Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \) (Q6097777) (← links)