On block structures in quantum computation

DOI10.1016/J.ENTCS.2013.09.016zbMath1334.68074OpenAlexW2053872239WikidataQ113317959 ScholiaQ113317959MaRDI QIDQ265814

Bart Jacobs

Publication date: 12 April 2016

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

zbMATH Keywords

probabilisticblock structureeffect logicnondeterministicquantum program semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (5)

Classical control and quantum circuits in enriched category theory ⋮ Semantics for a quantum programming language by operator algebras ⋮ Towards a Categorical Account of Conditional Probability ⋮ Reversible monadic computing ⋮ Unnamed Item

Uses Software

• QPL
• QML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
• Coreflections in algebraic quantum logic
• From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
• Quantum Probability and Quantum Information Theory
• The Mathematical Language of Quantum Theory
• Relating Operator Spaces via Adjunctions
• On the projection of norm one in $W^ *$-algebras
• Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
• Towards a quantum programming language
• Measurable Spaces and Their Effect Logic
• Quantum programming languages: survey and bibliography
• A lambda calculus for quantum computation with classical control

This page was built for publication: On block structures in quantum computation