Confluence Results for a Quantum Lambda Calculus with Measurements
From MaRDI portal
Publication:2825377
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
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
