Pages that link to "Item:Q2963995"
From MaRDI portal
The following pages link to On Classical Nonassociative Lambek Calculus (Q2963995):
Displaying 6 items.
- A classical linear \(\lambda\)-calculus (Q1575877) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- (Q3222170) (← links)
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity (Q4999464) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)