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

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