The Arrow Calculus as a Quantum Programming Language

DOI10.1007/978-3-642-02261-6_30zbMath1246.68101arXiv0903.1489OpenAlexW1480152022MaRDI QIDQ3638297

Amr Sabry, Andre R. Du Bois, 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

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

Related Items (1)

FJQuantum. A quantum object oriented language

Uses Software

• QPL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Generalising monads to arrows
• An Algebra of Pure Quantum Programming
• Deriving backtracking monad transformers
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• A Lambda Calculus for Quantum Computation
• A new notation for arrows
• The arrow calculus
• Applicative programming with effects
• Structuring quantum effects: superoperators as arrows
• A lambda calculus for quantum computation with classical control

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