REVIEW 1 cited by
Semantics for a Quantum Programming Language by Operator Algebras
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of the category of W*-algebras and normal completely positive subunital maps is an elementary quantum flow chart category in the sense of Selinger. As a consequence, it gives a denotational semantics for Selinger's first-order functional quantum programming language QPL. The use of operator algebras allows us to accommodate infinite structures and to handle classical and quantum computations in a unified way.
Forward citations
Cited by 1 Pith paper
-
Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes
Behaviours of stateful monoidal processes are equivalence classes of compatible finite observations in discard bicategories, yielding functorial feedback semantics and a categorified compactness theorem for closed relations.
Discussion (0). Continue with ORCID to comment.