Compositional reversible computation
From MaRDI portal
Publication:6637582
DOI10.1007/978-3-031-62076-8_2MaRDI QIDQ6637582
Amr Sabry, Chris Heunen, Robin Kaarsgaard, Jacques Carette
Publication date: 13 November 2024
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- A calculus of communicating systems
- Conservative logic
- A set of postulates for the foundation of logic
- Reversible effects as inverse arrows
- On computable numbers, with an application to the Entscheidungsproblem.
- Reversible computing from a programming language perspective
- Computing with Semirings and Weak Rig Groupoids
- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
- Information effects
- Monads on dagger categories
- Universal Properties in Quantum Theory
- Quantum Computing for Computer Scientists
- On the Computational Power of Biochemistry
- Irreversibility and Heat Generation in the Computing Process
- Categorical semantics for arrows
- Functions as processes
- Communicating sequential processes
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- A Lambda Calculus for Quantum Computation
- On the Functor ℓ2
- Basic Category Theory
- Categories for Quantum Theory
- Functional and Logic Programming
- CONCUR 2004 - Concurrency Theory
- Advanced Functional Programming
- Logical Reversibility of Computation
- Positive Functions on C ∗ -Algebras
- Foundations of Software Science and Computation Structures
- Differential Privacy
- The correctness of concurrencies in (reversible) concurrent calculi
- Bennett and Stinespring, together at last
This page was built for publication: Compositional reversible computation
