An Algebra of Pure Quantum Programming

DOI10.1016/j.entcs.2006.12.010zbMath1277.68053arXivquant-ph/0506012OpenAlexW2132938661WikidataQ61583864 ScholiaQ61583864MaRDI QIDQ2864167

Amr Sabry, Jonathan Grattage, Thorsten Altenkirch, Juliana Kaizer Vizzotto

Publication date: 6 December 2013

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

Full work available at URL: https://arxiv.org/abs/quant-ph/0506012

zbMATH Keywords

completenessdenotational semanticsnormalisation

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

Unnamed Item ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ FJQuantum. A quantum object oriented language ⋮ The Arrow Calculus as a Quantum Programming Language ⋮ Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits ⋮ An Overview of QML With a Concrete Implementation in Haskell ⋮ Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic ⋮ QPCF: higher-order languages and quantum circuits

Uses Software

• QPL
• QML

Cites Work

• Unnamed Item
• A Lambda Calculus for Quantum Computation
• Towards a quantum programming language
• Functional and Logic Programming
• Typed Lambda Calculi and Applications

This page was built for publication: An Algebra of Pure Quantum Programming