A duality between exceptions and states

DOI10.1017/S0960129511000752zbMath1280.68120arXiv1402.1051OpenAlexW2101091770MaRDI QIDQ2909735

Dominique Duval, Laurent Fousse, Jean-Claude Reynaud, Jean-Guillaume Dumas

Publication date: 6 September 2012

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

Full work available at URL: https://arxiv.org/abs/1402.1051

zbMATH Keywords

dualitystatecomputational effectsexception

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Related Items (3)

Deduction as reduction, from a categorical point of view ⋮ Logical rules as fractions and logics as sketches ⋮ Mac Lane's comparison theorem for the Kleisli construction formalized in Coq

Cites Work

• Notions of computation and monads
• Handlers of Algebraic Effects

This page was built for publication: A duality between exceptions and states