Reversible effects as inverse arrows
From MaRDI portal
Publication:2134817
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
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
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