Reversible effects as inverse arrows

DOI10.1016/J.ENTCS.2018.11.009OpenAlexW2804017277WikidataQ113317489 ScholiaQ113317489MaRDI QIDQ2134817

Chris Heunen, Martti Karvonen, Robin Kaarsgaard

Publication date: 3 May 2022

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

zbMATH Keywords

arrowinverse categoryinvolutive monoidreversible effect

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Theseus
• LRinv

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pictures of complete positivity in arbitrary dimension
• Join inverse categories and reversible recursion
• Generalising monads to arrows
• A structural approach to reversible computation
• Reverse Code Generation for Parallel Discrete Event Simulation
• Dagger Compact Closed Categories and Completely Positive Maps
• Towards a Reversible Functional Language
• Information effects
• Reversible Limited Automata
• Monads on dagger categories
• Two-Way Reversible Multi-Head Finite Automata
• Categorical semantics for arrows
• Decomposing typed lambda calculus into a couple of categorical programming languages
• A new notation for arrows
• A Compositional Semantics for the Reversible p-Calculus
• Advanced Functional Programming
• Imaginary groups: lazy monoids and reversible computation
• Logical Reversibility of Computation
• Restriction categories. I: Categories of partial maps
• Reversible monadic computing

This page was built for publication: Reversible effects as inverse arrows