The following pages link to Symmetric categorial grammar (Q843772):
Displaying 5 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Proof-Theoretic Aspects of the Lambek-Grishin Calculus (Q2947464) (← links)
