Pages that link to "Item:Q1919548"
From MaRDI portal
The following pages link to A note on full intuitionistic linear logic (Q1919548):
Displayed 14 items.
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Formalized meta-theory of sequent calculi for substructural logics (Q1744443) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
- Coherence Spaces and Uniform Continuity (Q2988356) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
- (Q4993336) (← links)
- Multiple Conclusion Linear Logic: Cut Elimination and More (Q5283420) (← links)
- Proof theory in the abstract (Q5957852) (← links)