A lambda calculus for quantum computation with classical control

DOI10.1017/S0960129506005238zbMath1122.68033OpenAlexW2145862486MaRDI 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

Quantum computation (81P68) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items

On block structures in quantum computation, Modular Inference of Linear Types for Multiplicity-Annotated Arrows, Unnamed Item, Linear Dependent Type Theory for Quantum Programming Languages, Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model, Probabilistic operational semantics for the lambda calculus, A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls, Non-linearity as the Metric Completion of Linearity, Semantics of quantum programming languages: Classical control, quantum control, A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations, Semantics for a quantum programming language by operator algebras, Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target, Classically time-controlled quantum automata, Universal Properties in Quantum Theory, A concrete model for a typed linear algebraic lambda calculus, Linear-algebraic λ-calculus: higher-order, encodings, and confluence., On quantum lambda calculi: a foundational perspective, Unnamed Item, Unnamed Item, Reversible monadic computing, Quantum computation: from a programmer's perspective, $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations, An automated deductive verification framework for circuit-building quantum programs, Game Semantics for Quantum Stores, FJQuantum. A quantum object oriented language, Presheaf Models of Quantum Computation: An Outline, A new connective in natural deduction, and its application to quantum computing, On a measurement-free quantum lambda calculus with classical control, A new connective in natural deduction, and its application to quantum computing, A logic for quantum register measurements, The Arrow Calculus as a Quantum Programming Language, 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 implicit computational complexity, 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}\), Quantum Data and Control Made Easier