On a measurement-free quantum lambda calculus with classical control
From MaRDI portal
Recommendations
- A lambda calculus for quantum computation with classical control
- Typed Lambda Calculi and Applications
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Confluence results for a quantum lambda calculus with measurements
- Measurements and confluence in quantum lambda calculi with explicit qubits
- On quantum lambda calculi: a foundational perspective
- A Lambda Calculus for Quantum Computation
- A double effect -calculus for quantum computation
- On quantum and probabilistic linear lambda-calculi (extended abstract)
- Universal quantum computation via quantum controlled classical operations
Cites work
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- A Lambda Calculus for Quantum Computation
- A lambda calculus for quantum computation with classical control
- Computational complexity of uniform quantum circuit families and quantum Turing machines
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Quantum Complexity Theory
- Quantum patterns and types for entanglement and separability
- Quantum theory, the Church–Turing principle and the universal quantum computer
- The measurement calculus
- Towards a quantum programming language
- \(\lambda\)-definability and recursiveness
Cited in
(19)- Measurements in proof nets as higher-order quantum circuits
- Wave-style token machines and quantum lambda calculi
- QPCF: higher-order languages and quantum circuits
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- A lambda calculus for quantum computation with classical control
- Confluence results for a quantum lambda calculus with measurements
- A double effect -calculus for quantum computation
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- A Lambda Calculus for Quantum Computation
- On quantum lambda calculi: a foundational perspective
- Quantum implicit computational complexity
- Taming Non-compositionality Using New Binders
- A rewriting theory for quantum -calculus
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- The dagger lambda calculus
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
- Typing Quantum Superpositions and Measurement
- \textsc{qPCF}: a language for quantum circuit computations
- Measurements and confluence in quantum lambda calculi with explicit qubits
This page was built for publication: On a measurement-free quantum lambda calculus with classical control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3625676)
