Deriving distributive laws for graded linear types

DOI10.4204/EPTCS.353.6MaRDI QIDQ6657787FDOQ6657787

Authors: Jack Hughes, Michael Vollmer, Dominic Orchard 

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

• Linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• Combining a monad and a comonad
• The formal theory of monads
• Linear dependent types for differential privacy
• A new approach to generic functional programming
• Title not available (Why is that?)
• A core quantitative coeffect calculus
• A double category theoretic analysis of graded linear exponential comonads
• Coeffects: a calculus of context-dependent computation
• Parametric effect monads and semantics of effect systems
• Resourceful program synthesis from graded linear types
• Combining effects and coeffects via grading
• Bounded Linear Types in a Resource Semiring
• Coeffects: unified static analysis of context-dependence
• Visible type application
• The Essence of Dataflow Programming

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)