Algeo: an algebraic approach to reversibility
From MaRDI portal
Publication:2097422
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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)
Related Items (1)
Uses Software
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