On block structures in quantum computation

DOI10.1016/J.ENTCS.2013.09.016MaRDI QIDQ265814zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Quantum and Classical Structures in Nondeterminstic Computation
• The search for structure in quantum computation
• Block structure vs. scope extrusion: between innocence and omniscience
• On blocks in quantum logics
• Block structure vs scope extrusion: between innocence and omniscience

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 5708038 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3804225 (Why is no real title available?)
• A lambda calculus for quantum computation with classical control
• Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
• Coreflections in algebraic quantum logic
• Effect algebras and unsharp quantum logics.
• From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
• Measurable spaces and their effect logic
• On the projection of norm one in $W^ *$-algebras
• Quantum measurements without sums
• Quantum probability and quantum information theory
• Quantum programming languages: survey and bibliography
• Relating operator spaces via adjunctions
• 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
• The mathematical language of quantum theory. From uncertainty to entanglement
• Towards a quantum programming language

Cited in

(8)

• Quantum mean centering for block-encoding-based quantum algorithm
• Towards a categorical account of conditional probability
• Reversible monadic computing
• \(qd\) block algorithm
• Classical control and quantum circuits in enriched category theory
• scientific article; zbMATH DE number 5953563 (Why is no real title available?)
• Semantics for a quantum programming language by operator algebras
• Classical control, quantum circuits and linear logic in enriched category theory

Describes a project that uses

Uses Software

• QPL
• QML

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

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