The following pages link to CatLog3 (Q41355):
Displaying 4 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Natural language semantics and computability (Q2425328) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)