Algeo: an algebraic approach to reversibility

DOI10.1007/978-3-031-09005-9_9OpenAlexW4293209995MaRDI QIDQ2097422

Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen

Publication date: 11 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-09005-9_9

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Related Items (1)

Algeo

Uses Software

• Mercury
• Curry
• Theseus
• CauDEr

Cites Work

• Cauder: a causal-consistent reversible debugger for Erlang
• From symmetric pattern-matching to quantum control
• \(\mathsf{CoreFun}\): a typed functional reversible core language
• Condition/decision duality and the internal logic of extensive restriction categories
• A reversible semantics for Erlang
• Reverse Code Generation for Parallel Discrete Event Simulation
• Towards a Domain-Specific Language for Reversible Assembly Sequences
• Towards a Reversible Functional Language
• Information effects
• The Dedekind reals in abstract Stone duality
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• The algebraic lambda calculus
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Functional Logic Programming: From Theory to Curry
• Infinite-dimensional Categorical Quantum Mechanics
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• Reversible Imperative Parallel Programs and Debugging

This page was built for publication: Algeo: an algebraic approach to reversibility