A lambda calculus for quantum computation with classical control
From MaRDI portal
Publication:5482273
DOI10.1017/S0960129506005238zbMATH Open1122.68033OpenAlexW2145862486MaRDI QIDQ5482273FDOQ5482273
Authors: Peter Selinger, Benoît Valiron 
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
Recommendations
Quantum computation (81P68) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)
Cited In (52)
- Quantum CPOs
- A quick overview on the quantum control approach to the lambda calculus
- Reversible monadic computing
- On block structures in quantum computation
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target
- Types and typechecking for Communicating Quantum Processes
- Quantum programming made easy
- Modular inference of linear types for multiplicity-annotated arrows
- 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 model for a typed linear algebraic lambda calculus
- Quantum data and control made easier
- An overview of QML with a concrete implementation in Haskell
- Confluence results for a quantum lambda calculus with measurements
- On a fully abstract model for a quantum linear functional language (extended abstract)
- An automated deductive verification framework for circuit-building quantum programs
- Semantics of quantum programming languages: Classical control, quantum control
- On a measurement-free quantum lambda calculus with classical control
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- A double effect \(\lambda \)-calculus for quantum computation
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Models of quantum computation and quantum programming languages
- Universal Properties in Quantum Theory
- Classically time-controlled quantum automata
- Quantum patterns and types for entanglement and separability
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- A Lambda Calculus for Quantum Computation
- Semantics for a quantum programming language by operator algebras
- Presheaf models of quantum computation: an outline
- Game semantics for quantum data
- Quantum programming with inductive datatypes: causality and affine type theory
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- The Arrow Calculus as a Quantum Programming Language
- Probabilistic operational semantics for the lambda calculus
- FJQuantum. A quantum object oriented language
- On quantum lambda calculi: a foundational perspective
- Quantum computation: from a programmer's perspective
- Quantum implicit computational complexity
- Typed Lambda Calculi and Applications
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Non-linearity as the metric completion of linearity
- A logic for quantum register measurements
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
- Type-safe quantum programming in Idris
- Title not available (Why is that?)
- \textsc{qPCF}: a language for quantum circuit computations
- Measurements and confluence in quantum lambda calculi with explicit qubits
- Game semantics for quantum stores
- Towards a quantum programming language
- Wave-style token machines and quantum lambda calculi
This page was built for publication: A lambda calculus for quantum computation with classical control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5482273)
