The parametric continuation monad

DOI10.1017/S0960129515000328zbMath1388.03059OpenAlexW2605746782MaRDI QIDQ5269001

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

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

Related Items (2)

A micrological study of negation ⋮ The Cooper storage idiom

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Resource modalities in tensor logic
• Weakly distributive categories
• Notions of computation and monads
• Natural deduction and coherence for weakly distributive categories
• Coherence completions of categories
• Parameterised notions of computation
• Generalizing Substitution
• On Double Dualization Monads.

This page was built for publication: The parametric continuation monad