Quantum alternation: prospects and problems

MaRDI QIDQ5015185zbMATH OpenFDO

Authors Costin Bădescu, Prakash Panangaden

Publication date 6 December 2021

Full work available at URL https://arxiv.org/abs/1511.01567, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2015.3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

Recommendations

• From symmetric pattern-matching to quantum control
• Quantum data and control made easier
• scientific article; zbMATH DE number 1612487
• Quantum programming made easy
• Towards a quantum programming language

Cites work

• A Radon-Nikodym theorem for completely positive maps
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1776257 (Why is no real title available?)
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Radon–Nikodym derivatives of quantum operations
• Rapid solution of problems by quantum computation
• 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
• Subalgebras of C^ *-algebras
• Towards a quantum programming language

Cited in

(5)

• From symmetric pattern-matching to quantum control
• Semantics of quantum programming languages: Classical control, quantum control
• Quantum alternation
• Semantics of higher-order quantum computation via geometry of interaction
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

Describes a project that uses

Uses Software

• QPL
• QML

This page was built for publication: Quantum alternation: prospects and problems

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