Confluence results for a quantum lambda calculus with measurements

DOI10.1016/J.ENTCS.2011.01.035MaRDI QIDQ2825377zbMATH OpenOpenAlexWikidataFDO

Authors 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

confluencelambda calculusquantum computation

Mathematics Subject Classification ID

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

Recommendations

• Measurements and confluence in quantum lambda calculi with explicit qubits
• On a measurement-free quantum lambda calculus with classical control
• On quantum lambda calculi: a foundational perspective
• Strong normalization theorems for quantized -calculi
• A double effect -calculus for quantum computation

Cites work

• A Lambda Calculus for Quantum Computation
• A lambda calculus for quantum computation with classical control
• A syntax for linear logic
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 5076264 (Why is no real title available?)
• scientific article; zbMATH DE number 5162350 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 2090077 (Why is no real title available?)
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Measurements and confluence in quantum lambda calculi with explicit qubits
• On a measurement-free quantum lambda calculus with classical control
• Probabilistic  -calculus and Quantitative Program Analysis
• Term Rewriting and Applications
• Towards a quantum programming language

Cited in

(13)

• QPCF: higher-order languages and quantum circuits
• Confluence in probabilistic rewriting
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• Measurements and confluence in quantum lambda calculi with explicit qubits
• \textsc{qPCF}: a language for quantum circuit computations
• Semantics of higher-order quantum computation via geometry of interaction
• On a measurement-free quantum lambda calculus with classical control
• Wave-style token machines and quantum lambda calculi
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• Probabilistic rewriting: normalization, termination, and unique normal forms
• Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms
• scientific article; zbMATH DE number 6774228 (Why is no real title available?)
• A rewriting theory for quantum -calculus

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Confluence results for a quantum lambda calculus with measurements

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