Quantum programs with classical output streams (extended abstract)

DOI10.1016/J.ENTCS.2006.12.016MaRDI QIDQ2864174zbMATH OpenOpenAlexWikidataFDO

Authors Dominique Unruh

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

classical output streamsdenotational semanticsquantum programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Quantum computation (81P68)

Recommendations

• Formal semantics of a classical-quantum language
• scientific article; zbMATH DE number 1612487
• A hierarchy of quantum semantics
• Proof rules for the correctness of quantum programs
• scientific article; zbMATH DE number 5708042

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 3603853 (Why is no real title available?)
• Towards a quantum programming language
• Typed Lambda Calculi and Applications

Cited in

(5)

• Termination of nondeterministic quantum programs
• A hierarchy of quantum semantics
• Quantum arrows in Haskell
• Measurement-Based and Universal Blind Quantum Computation
• Quantum Programs as Kleisli Maps

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Quantum programs with classical output streams (extended abstract)

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