Deriving distributive laws for graded linear types

DOI10.4204/EPTCS.353.6MaRDI QIDQ6657787

Dominic Orchard, Jack Hughes, Michael Vollmer

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

• Title not available (Why is that?)
• Linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• Combining a monad and a comonad
• A double category theoretic analysis of graded linear exponential comonads
• Resourceful program synthesis from graded linear types
• The formal theory of monads
• Visible Type Application
• Coeffects: a calculus of context-dependent computation
• Linear dependent types for differential privacy
• Combining effects and coeffects via grading
• A new approach to generic functional programming
• The Essence of Dataflow Programming
• Coeffects: Unified Static Analysis of Context-Dependence
• Parametric effect monads and semantics of effect systems
• Bounded Linear Types in a Resource Semiring
• A Core Quantitative Coeffect Calculus

This page was built for publication: Deriving distributive laws for graded linear types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6657787)