Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits

DOI10.1016/j.entcs.2011.01.006zbMath1347.68136arXiv0806.2447OpenAlexW2019089676WikidataQ62037058 ScholiaQ62037058MaRDI QIDQ2825343

Jonathan Grattage, Pablo Arrighi, Alejandro Díaz-Caro, Manuel 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

confluencemeasurementquantum lambda calculusprobabilistic rewrite system

Mathematics Subject Classification ID

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

Related Items (8)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A logic for quantum register measurements ⋮ An Overview of QML With a Concrete Implementation in Haskell ⋮ Confluence Results for a Quantum Lambda Calculus with Measurements ⋮ QPCF: higher-order languages and quantum circuits ⋮ Confluence in probabilistic rewriting

Uses Software

• QML

Cites Work

• Unnamed Item
• An Algebra of Pure Quantum Programming
• Probabilistic  -calculus and Quantitative Program Analysis
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Taming Non-compositionality Using New Binders
• A Lambda Calculus for Quantum Computation
• A lambda calculus for quantum computation with classical control
• Tree-Manipulating Systems and Church-Rosser Theorems

This page was built for publication: Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits