Bennett and Stinespring, together at last

DOI10.4204/eptcs.343.5MaRDI QIDQ6646298

Chris Heunen, Robin Kaarsgaard

Publication date: 29 November 2024

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Monoidal indeterminates and categories of possible worlds
• Join inverse categories and reversible recursion
• Universal Properties in Quantum Theory
• Irreversibility and Heat Generation in the Computing Process
• A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
• Categories for Quantum Theory
• Logical Reversibility of Computation
• Positive Functions on C ∗ -Algebras
• Restriction categories. I: Categories of partial maps

Related Items (2)

Compositional reversible computation ⋮ Jeopardy: an invertible functional programming language

This page was built for publication: Bennett and Stinespring, together at last