From reversible to irreversible computations

DOI10.1016/J.ENTCS.2008.04.018MaRDI QIDQ2870206zbMATH OpenOpenAlexWikidataFDO

Authors Alexander S. Green, Thorsten Altenkirch

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.04.018

zbMATH Keywords

categorical modelsirreversible computationquantum computationreversible computation

Mathematics Subject Classification ID

Quantum computation (81P68)

Recommendations

• Entropy generation in a model of reversible computation
• scientific article; zbMATH DE number 6003196
• On reversible combinatory logic
• A structural approach to reversible computation
• Reversibility and adiabatic computation: trading time and space for energy

Cites work

• A structural approach to reversible computation
• Dagger compact closed categories and completely positive maps (extended abstract)
• scientific article; zbMATH DE number 3385869 (Why is no real title available?)
• Kindergarten quantum mechanics -- lecture notes
• Logical Reversibility of Computation
• Structuring quantum effects: superoperators as arrows
• Towards a quantum programming language

Cited in

(14)

• Cognition is not computation: The argument from irreversibility
• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
• A unification of probabilistic choice within a design-based model of reversible computation
• Computing with semirings and weak rig groupoids
• An overview of QML with a concrete implementation in Haskell
• Information effects
• scientific article; zbMATH DE number 6691416 (Why is no real title available?)
• scientific article; zbMATH DE number 6003196 (Why is no real title available?)
• Reversibility and adiabatic computation: trading time and space for energy
• Entropy generation in a model of reversible computation
• Periodicity and Immortality in Reversible Computing
• Applying reversibility theory for the performance evaluation of reversible computations
• Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics
• Quantum Hoare type theory: extended abstract

Describes a project that uses

Uses Software

• QPL
• QML

This page was built for publication: From reversible to irreversible computations

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