Pages that link to "Item:Q2842824"
From MaRDI portal
The following pages link to Multiplicative linear logics and fibrations (Q2842824):
Displaying 6 items.
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Constructing Fully Complete Models of Multiplicative Linear Logic (Q3196336) (← links)
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic (Q3613361) (← links)
- (Q4279085) (← links)
- A fibrational framework for substructural and modal logics (Q5111322) (← links)