Compositional reversible computation

DOI10.1007/978-3-031-62076-8_2MaRDI QIDQ6637582zbMATH OpenFDO

Authors Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

Publication date 13 November 2024

Full work available at URL https://doi.org/10.1007/978-3-031-62076-8_2

zbMATH Keywords

information effectsquantum computingrig categories

Mathematics Subject Classification ID

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

Cites work

• A calculus of communicating systems
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• A Lambda Calculus for Quantum Computation
• A set of postulates for the foundation of logic
• Advanced Functional Programming
• Basic Category Theory
• Bennett and Stinespring, together at last
• Both Toffoli and Controlled-NOT need little help to universal quantum computing
• Categorical semantics for arrows
• Categories for Quantum Theory
• Communicating sequential processes
• Computing with semirings and weak rig groupoids
• CONCUR 2004 - Concurrency Theory
• Conservative logic
• Differential Privacy
• Foundations of Software Science and Computation Structures
• Functional and Logic Programming
• Functions as processes
• scientific article; zbMATH DE number 3692653 (Why is no real title available?)
• scientific article; zbMATH DE number 3522192 (Why is no real title available?)
• scientific article; zbMATH DE number 3641359 (Why is no real title available?)
• scientific article; zbMATH DE number 3305030 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• scientific article; zbMATH DE number 3385869 (Why is no real title available?)
• Information effects
• Irreversibility and Heat Generation in the Computing Process
• Logical Reversibility of Computation
• Monads on dagger categories
• Notions of computation and monads
• On computable numbers, with an application to the Entscheidungsproblem.
• On the Computational Power of Biochemistry
• On the Functor ℓ2
• Positive Functions on C ∗ -Algebras
• Quantum Computing for Computer Scientists
• Reversible computing from a programming language perspective
• Reversible effects as inverse arrows
• Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
• The correctness of concurrencies in (reversible) concurrent calculi
• Universal Properties in Quantum Theory

This page was built for publication: Compositional reversible computation

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