Reversible effects as inverse arrows

DOI10.1016/J.ENTCS.2018.11.009MaRDI QIDQ2134817zbMATH OpenOpenAlexWikidataFDO

Authors Chris Heunen, Robin Kaarsgaard, Martti Karvonen

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

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

Recommendations

• scientific article; zbMATH DE number 4045426
• scientific article; zbMATH DE number 5879463
• Causal-consistent reversibility
• Reversibility and Predictions
• A reversibility relationship
• scientific article; zbMATH DE number 1354104
• Irreversibility revisited
• scientific article; zbMATH DE number 2070206
• Reversing the arrow of time

Cites work

• A compositional semantics for the reversible -calculus
• A new notation for arrows
• A structural approach to reversible computation
• Advanced Functional Programming
• Categorical semantics for arrows
• Dagger compact closed categories and completely positive maps (extended abstract)
• Decomposing typed lambda calculus into a couple of categorical programming languages
• Generalising monads to arrows
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3692653 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Imaginary groups: lazy monoids and reversible computation
• Information effects
• Join inverse categories and reversible recursion
• Logical Reversibility of Computation
• Monads on dagger categories
• On involutive monoidal categories
• Pictures of complete positivity in arbitrary dimension
• Restriction categories. I: Categories of partial maps
• Reverse code generation for parallel discrete event simulation
• Reversible limited automata
• Reversible monadic computing
• Towards a reversible functional language
• Two-way reversible multi-head finite automata

Cited in

(5)

• scientific article; zbMATH DE number 1354104 (Why is no real title available?)
• Compositional reversible computation
• Jeopardy: an invertible functional programming language
• Categorical semantics of reversible pattern-matching
• Semantics for a Turing-complete reversible programming language with inductive types

Describes a project that uses

Uses Software

• LRinv
• Theseus

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

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