The parametric continuation monad

DOI10.1017/S0960129515000328MaRDI QIDQ5269001zbMATH OpenOpenAlexFDO

Authors Paul-André Melliès

Publication date 14 June 2017

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129515000328

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Recommendations

• scientific article; zbMATH DE number 1372682
• Game Semantics in String Diagrams
• Parametric effect monads and semantics of effect systems
• Parameterised notions of computation
• The Dialectica monad and its cousins

Cites work

• Coherence completions of categories
• Generalizing Substitution
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 3179491 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 2152038 (Why is no real title available?)
• Interactive models of computation and program behavior
• Linear logic
• Natural deduction and coherence for weakly distributive categories
• Notions of computation and monads
• On Double Dualization Monads.
• Parameterised notions of computation
• Resource modalities in tensor logic
• Weakly distributive categories

Cited in

(10)

• The Cooper storage idiom
• Continuous monads
• A micrological study of negation
• scientific article; zbMATH DE number 7297867 (Why is no real title available?)
• Graded monads and behavioural equivalence games
• Category-graded algebraic theories and effect handlers
• Representing guardedness in call-by-value and guarded parametrized monads
• A profunctorial semantics for quantum supermaps
• Calibrated hypergraph states. I: Calibrated hypergraph and multi qudit state monads
• Calibrated hypergraph states. II: Calibrated hypergraph state construction and applications

This page was built for publication: The parametric continuation monad

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