A linear algebra approach to linear metatheory

DOI10.4204/EPTCS.353.10MaRDI QIDQ6657791zbMATH OpenFDO

Authors James G. Wood, Robert Atkey

Publication date 6 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites work

• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• A core quantitative coeffect calculus
• A judgmental reconstruction of modal logic
• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
• Bounded Linear Types in a Resource Semiring
• Coeffects: a calculus of context-dependent computation
• Distance makes the types grow stronger: a calculus for differential privacy
• Formalized meta-theory of sequent calculi for linear logics
• Higher-order representation of substructural logics
• Mechanizing focused linear logic in Coq
• Skew-monoidal categories and bialgebroids.
• Strongly typed term representations in Coq
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic

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)