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)

Full work available at URL: https://doi.org/10.1017/s0960129506005238

Mathematics Subject Classification ID

81P68: Quantum computation

68N18: Functional programming and lambda calculus

03B40: Combinatory logic and lambda calculus

Related Items

Unnamed Item, Unnamed Item, Presheaf Models of Quantum Computation: An Outline, Modular Inference of Linear Types for Multiplicity-Annotated Arrows, Linear Dependent Type Theory for Quantum Programming Languages, Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model, A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls, Non-linearity as the Metric Completion of Linearity, Game Semantics for Quantum Stores, A new connective in natural deduction, and its application to quantum computing, A new connective in natural deduction, and its application to quantum computing, Reversible monadic computing, Classically time-controlled quantum automata, 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, Semantics of quantum programming languages: Classical control, quantum control, An automated deductive verification framework for circuit-building quantum programs, A logic for quantum register measurements, QPCF: higher-order languages and quantum circuits, Formalization of metatheory of the Quipper quantum programming language in a linear logic, Formal meta-level analysis framework for quantum programming languages, A concrete categorical semantics of lambda-\(\mathcal{S}\), 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, Universal Properties in Quantum Theory, 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