From Reversible to Irreversible Computations

DOI10.1016/j.entcs.2008.04.018zbMath1279.68077OpenAlexW2086141674WikidataQ61583853 ScholiaQ61583853MaRDI QIDQ2870206

Thorsten Altenkirch, Alexander S. Green

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

quantum computationcategorical modelsreversible computationirreversible computation

Mathematics Subject Classification ID

Related Items (3)

Petri nets are dioids: a new algebraic foundation for non-deterministic net theory ⋮ Computing with Semirings and Weak Rig Groupoids ⋮ An Overview of QML With a Concrete Implementation in Haskell

Uses Software

• QPL
• QML

Cites Work

• Unnamed Item
• Unnamed Item
• A structural approach to reversible computation
• Dagger Compact Closed Categories and Completely Positive Maps
• Towards a quantum programming language
• Structuring quantum effects: superoperators as arrows
• Logical Reversibility of Computation

This page was built for publication: From Reversible to Irreversible Computations