An algebra of pure quantum programming

DOI10.1016/J.ENTCS.2006.12.010MaRDI QIDQ2864167zbMATH OpenOpenAlexWikidataFDO

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

Publication date 6 December 2013

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

completenessdenotational semanticsnormalisation

Mathematics Subject Classification ID

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

Abstract: We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation by evaluation approach. The current work focuses on the pure fragment of QML omitting measurements.

Recommendations

• Algebraic effects, linearity, and quantum programming languages
• Semantics for a quantum programming language by operator algebras
• Semantics for a quantum programming language by operator algebras
• scientific article; zbMATH DE number 1612487
• An Algebraic Language for Distributed Quantum Computing
• A programming language characterizing quantum polynomial time
• Towards a quantum programming language
• Quantum Programs as Kleisli Maps
• Quantum register algebra: the mathematical language for quantum computing

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• A Lambda Calculus for Quantum Computation
• Functional and Logic Programming
• Towards a quantum programming language
• Typed Lambda Calculi and Applications

Cited in

(13)

• QPCF: higher-order languages and quantum circuits
• An Algebraic Language for Distributed Quantum Computing
• An overview of QML with a concrete implementation in Haskell
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Can a quantum computer run the von Neumann architecture?
• Scalar System F for linear-algebraic -calculus: towards a quantum physical logic
• FJQuantum. A quantum object oriented language
• The Arrow Calculus as a Quantum Programming Language
• Algebraic effects, linearity, and quantum programming languages
• Quantum Programs as Kleisli Maps
• Reasoning about general quantum programs over mixed states
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• Measurements and confluence in quantum lambda calculi with explicit qubits

Describes a project that uses

Uses Software

• QML
• QPL

This page was built for publication: An algebra of pure quantum programming

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