Pages that link to "Item:Q1919548"
From MaRDI portal
The following pages link to A note on full intuitionistic linear logic (Q1919548):
Displayed 9 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)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
- Proof theory in the abstract (Q5957852) (← links)