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
- \(\lambda\)-definability and recursiveness
- 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
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- 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
Cited in
(20)- Quantum implicit computational complexity
- Quantum circuits with classical channels and the principle of deferred measurements
- QPCF: higher-order languages and quantum circuits
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
- Measurements and confluence in quantum lambda calculi with explicit qubits
- Confluence results for a quantum lambda calculus with measurements
- On quantum lambda calculi: a foundational perspective
- \textsc{qPCF}: a language for quantum circuit computations
- Taming Non-compositionality Using New Binders
- A Lambda Calculus for Quantum Computation
- The dagger lambda calculus
- Wave-style token machines and quantum lambda calculi
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Typing Quantum Superpositions and Measurement
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- A double effect -calculus for quantum computation
- Measurements in proof nets as higher-order quantum circuits
- A lambda calculus for quantum computation with classical control
- A rewriting theory for quantum -calculus
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)
