The Arrow Calculus as a Quantum Programming Language

DOI10.1007/978-3-642-02261-6_30MaRDI QIDQ3638297zbMATH OpenOpenAlexFDO

Authors André Rauber Du Bois, Amr Sabry, Juliana Kaizer Vizzotto

Publication date 2 July 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0903.1489

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Quantum computation (81P68)

Abstract: We express quantum computations (with measurements) using the arrow calculus extended with monadic constructions. This framework expresses quantum programming using well-understood and familiar classical patterns for programming in the presence of computational effects. In addition, the five laws of the arrow calculus provide a convenient framework for equational reasoning about quantum computations that include measurements.

Recommendations

• A double effect -calculus for quantum computation
• Quantum arrows in Haskell
• Structuring quantum effects: superoperators as arrows
• scientific article; zbMATH DE number 1612487
• Algebraic effects, linearity, and quantum programming languages

Cites work

• A Lambda Calculus for Quantum Computation
• A lambda calculus for quantum computation with classical control
• A new notation for arrows
• An algebra of pure quantum programming
• Applicative programming with effects
• Deriving backtracking monad transformers
• Generalising monads to arrows
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 1256737 (Why is no real title available?)
• scientific article; zbMATH DE number 1775384 (Why is no real title available?)
• Notions of computation and monads
• Structuring quantum effects: superoperators as arrows
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• The arrow calculus

Cited in

(6)

• Algebraic effects, linearity, and quantum programming languages
• Quantum arrows in Haskell
• Reasoning about general quantum programs over mixed states
• FJQuantum. A quantum object oriented language
• A double effect -calculus for quantum computation
• Structuring quantum effects: superoperators as arrows

Describes a project that uses

Uses Software

• QPL

This page was built for publication: The Arrow Calculus as a Quantum Programming Language

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