Measurements and confluence in quantum lambda calculi with explicit qubits

DOI10.1016/J.ENTCS.2011.01.006MaRDI QIDQ2825343zbMATH OpenOpenAlexWikidataFDO

Authors Alejandro Díaz-Caro, Pablo Arrighi, Jonathan Grattage, M. Gadella

Publication date 7 October 2016

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

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

zbMATH Keywords

measurementconfluencequantum lambda calculusprobabilistic rewrite system

Mathematics Subject Classification ID

Quantum computation (81P68) Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: This paper demonstrates how to add a measurement operator to quantum lambda-calculi. A proof of the consistency of the semantics is given through a proof of confluence presented in a sufficiently general way to allow this technique to be used for other languages. The method described here may be applied to probabilistic rewrite systems in general, and to add measurement to more complex languages such as QML or Lineal, which is the subject of further research.

Recommendations

• Confluence results for a quantum lambda calculus with measurements
• On quantum lambda calculi: a foundational perspective
• On a measurement-free quantum lambda calculus with classical control
• A lambda calculus for quantum computation with classical control
• Typed Lambda Calculi and Applications

Cites work

• A Lambda Calculus for Quantum Computation
• A computational definition of the notion of vectorial space
• A lambda calculus for quantum computation with classical control
• An algebra of pure quantum programming
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Probabilistic  -calculus and Quantitative Program Analysis
• Taming Non-compositionality Using New Binders
• Tree-Manipulating Systems and Church-Rosser Theorems

Cited in

(11)

• QPCF: higher-order languages and quantum circuits
• Quantum programming made easy
• An overview of QML with a concrete implementation in Haskell
• Confluence results for a quantum lambda calculus with measurements
• On a measurement-free quantum lambda calculus with classical control
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• scientific article; zbMATH DE number 7566061 (Why is no real title available?)
• Confluence in probabilistic rewriting
• On quantum lambda calculi: a foundational perspective
• scientific article; zbMATH DE number 7559285 (Why is no real title available?)
• A logic for quantum register measurements

Describes a project that uses

Uses Software

• QML

This page was built for publication: Measurements and confluence in quantum lambda calculi with explicit qubits

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