Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces
From MaRDI portal
Publication:6657789
DOI10.4204/eptcs.353.8MaRDI QIDQ6657789
Publication date: 6 January 2025
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
This page was built for publication: Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces