A linear algebra approach to linear metatheory
From MaRDI portal
Publication:6657791
DOI10.4204/EPTCS.353.10MaRDI QIDQ6657791FDOQ6657791
Authors: James G. Wood, Robert Atkey 
Publication date: 6 January 2025
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- A judgmental reconstruction of modal logic
- Skew-monoidal categories and bialgebroids.
- Distance makes the types grow stronger: a calculus for differential privacy
- Title not available (Why is that?)
- Title not available (Why is that?)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
- A core quantitative coeffect calculus
- Coeffects: a calculus of context-dependent computation
- Formalized meta-theory of sequent calculi for linear logics
- Mechanizing focused linear logic in Coq
- Bounded Linear Types in a Resource Semiring
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
- Strongly typed term representations in Coq
- Higher-order representation of substructural logics
This page was built for publication: A linear algebra approach to linear metatheory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6657791)
