A Lambda Calculus for Quantum Computation

DOI10.1137/S0097539703432165zbMath1057.81016arXivquant-ph/0307150OpenAlexW2110240249WikidataQ56700681 ScholiaQ56700681MaRDI QIDQ4651508

André van Tonder

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

zbMATH Keywords

linear logicquantum computationlambda calculusmodels of computation

Mathematics Subject Classification ID

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