Pages that link to "Item:Q1799082"
From MaRDI portal
The following pages link to A logical framework with commutative and non-commutative subexponentials (Q1799082):
Displaying 6 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)