Reasoning about general quantum programs over mixed states

DOI10.1007/978-3-642-10452-7_22MaRDI QIDQ3651285zbMATH OpenOpenAlexFDO

Authors Giovani Rubert Librelotto, Amr Sabry, Juliana Kaizer Vizzotto

Publication date 9 December 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-10452-7_22

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Quantum computation (81P68)

Recommendations

• Quantum programming with mixed states
• An algebra of pure quantum programming
• The Arrow Calculus as a Quantum Programming Language
• scientific article; zbMATH DE number 1612487
• Reasoning about imperative quantum programs

Cited in

(3)

• Reasoning about faulty quantum programs
• Quantum programming with mixed states
• Invariants of quantum programs: characterisations and generation

This page was built for publication: Reasoning about general quantum programs over mixed states

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