A double category theoretic analysis of graded linear exponential comonads
From MaRDI portal
Publication:1652971
DOI10.1007/978-3-319-89366-2_6zbMath1505.18010OpenAlexW2798013195MaRDI QIDQ1652971
Publication date: 17 July 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-89366-2_6
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (7)
Generalized bounded linear logic and its categorical semantics ⋮ Graded Hoare logic and its categorical semantics ⋮ Towards logical foundations for probabilistic computation ⋮ Logical foundations of quantitative equality ⋮ Curry and Howard meet Borel ⋮ Deriving distributive laws for graded linear types ⋮ Resourceful program synthesis from graded linear types
This page was built for publication: A double category theoretic analysis of graded linear exponential comonads
