Quantum Data and Control Made Easier

DOI10.1016/j.entcs.2008.04.020zbMath1279.68035OpenAlexW2160765215MaRDI QIDQ2870210

Kyriakos G. Ginis, Nikolaos S. Papaspyrou, Michalis A. Papakyriakou, Michael Lampis

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

zbMATH Keywords

denotational semanticstype systemfunctional quantum programming language

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items (1)

nQML

Uses Software

• Haskell
• QPL
• qGCL
• QML

Cites Work

• Unnamed Item
• Unnamed Item
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• A Lambda Calculus for Quantum Computation
• Towards a quantum programming language
• Quantum programming languages: survey and bibliography
• A lambda calculus for quantum computation with classical control

This page was built for publication: Quantum Data and Control Made Easier