A Lambda Calculus for Quantum Computation
From MaRDI portal
Publication:4651508
DOI10.1137/S0097539703432165zbMath1057.81016arXivquant-ph/0307150OpenAlexW2110240249WikidataQ56700681 ScholiaQ56700681MaRDI QIDQ4651508
Publication date: 21 February 2005
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0307150
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Functional programming and lambda calculus (68N18) Logic in computer science (03B70)
Related Items (25)
Unnamed Item ⋮ From reversible programs to univalent universes and back ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ On quantum lambda calculi: a foundational perspective ⋮ Unnamed Item ⋮ Type structure and chiral breaking in the standard model ⋮ Quantum computation: from a programmer's perspective ⋮ Models of quantum computation and quantum programming languages ⋮ A typed, algebraic, computational lambda-calculus ⋮ The vectorial \(\lambda\)-calculus ⋮ FJQuantum. A quantum object oriented language ⋮ On a measurement-free quantum lambda calculus with classical control ⋮ The Arrow Calculus as a Quantum Programming Language ⋮ Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits ⋮ Confluence Results for a Quantum Lambda Calculus with Measurements ⋮ Processes against tests: on defining contextual equivalences ⋮ Quantum implicit computational complexity ⋮ Natural deduction for quantum logic ⋮ Confluence in probabilistic rewriting ⋮ An Algebra of Pure Quantum Programming ⋮ A Quantum Game Semantics for the Measurement Calculus ⋮ Quantum Data and Control Made Easier
This page was built for publication: A Lambda Calculus for Quantum Computation
