A lambda calculus for quantum computation with classical control

DOI10.1017/S0960129506005238zbMath1122.68033MaRDI QIDQ5482273

Benoît Valiron, Peter Selinger

Publication date: 28 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

81P68: Quantum computation

68N18: Functional programming and lambda calculus

03B40: Combinatory logic and lambda calculus

Related Items

Presheaf Models of Quantum Computation: An Outline, Non-linearity as the Metric Completion of Linearity, Game Semantics for Quantum Stores, Reversible monadic computing, On block structures in quantum computation, Quantum computation: from a programmer's perspective, FJQuantum. A quantum object oriented language, Quantum implicit computational complexity, Semantics for a quantum programming language by operator algebras, A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations, Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target, Game Semantics for Quantum Data, Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits, Confluence Results for a Quantum Lambda Calculus with Measurements, Quantum Data and Control Made Easier, Unnamed Item, Probabilistic operational semantics for the lambda calculus, On quantum lambda calculi: a foundational perspective, $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations, Linear-algebraic λ-calculus: higher-order, encodings, and confluence., On a measurement-free quantum lambda calculus with classical control, The Arrow Calculus as a Quantum Programming Language