Towards a Quantum Calculus

DOI10.1016/j.entcs.2008.04.019zbMath1279.81039OpenAlexW2118026226MaRDI QIDQ2870207

Philippe Jorrand, Simon Perdrix

Publication date: 17 January 2014

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.2008.04.019

zbMATH Keywords

quantum computing modelsquantum semanticsclassically controlled quantum computation

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Uses Software

• QPL

Cites Work

• Quantum computation by measurement and quantum memory
• Towards a quantum programming language
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards a Quantum Calculus