Confluence Results for a Quantum Lambda Calculus with Measurements

DOI10.1016/j.entcs.2011.01.035zbMath1347.68133OpenAlexW2089565009WikidataQ113318302 ScholiaQ113318302MaRDI QIDQ2825377

Ugo Dal Lago, Margherita Zorzi, Andrea Masini

Publication date: 7 October 2016

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.01.035

zbMATH Keywords

quantum computationconfluencelambda calculus

Mathematics Subject Classification ID

Quantum computation (81P68) Combinatory logic and lambda calculus (03B40)

Related Items (9)

A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ Unnamed Item ⋮ $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ QPCF: higher-order languages and quantum circuits ⋮ Confluence in probabilistic rewriting

Uses Software

• QPL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
• Probabilistic  -calculus and Quantitative Program Analysis
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• On a measurement-free quantum lambda calculus with classical control
• A Lambda Calculus for Quantum Computation
• Towards a quantum programming language
• A lambda calculus for quantum computation with classical control
• Term Rewriting and Applications
• A syntax for linear logic

This page was built for publication: Confluence Results for a Quantum Lambda Calculus with Measurements