A lambda calculus for quantum computation with classical control
From MaRDI portal
Publication:5482273
DOI10.1017/S0960129506005238zbMATH Open1122.68033OpenAlexW2145862486MaRDI QIDQ5482273FDOQ5482273
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
Recommendations
Quantum computation (81P68) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)
Cited In (46)
- 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
- 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
- Linear Dependent Type Theory for Quantum Programming Languages
- A concrete model for a typed linear algebraic lambda calculus
- Quantum data and control made easier
- Presheaf Models of Quantum Computation: An Outline
- Confluence results for a quantum lambda calculus with measurements
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations
- 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 Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Universal Properties in Quantum Theory
- Classically time-controlled quantum automata
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- Non-linearity as the Metric Completion of Linearity
- A Lambda Calculus for Quantum Computation
- Semantics for a quantum programming language by operator algebras
- Title not available (Why is that?)
- Game semantics for quantum data
- 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
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows
- Probabilistic operational semantics for the lambda calculus
- FJQuantum. A quantum object oriented language
- Game Semantics for Quantum Stores
- On quantum lambda calculi: a foundational perspective
- Quantum computation: from a programmer's perspective
- Title not available (Why is that?)
- Quantum CPOs
- Quantum implicit computational complexity
- Typed Lambda Calculi and Applications
- A quick overview on the quantum control approach to the lambda calculus
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- 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?)
- Measurements and confluence in quantum lambda calculi with explicit qubits
- Towards a quantum programming language
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)
