Wave-style token machines and quantum lambda calculi
From MaRDI portal
Recommendations
Cites work
- A Lambda Calculus for Quantum Computation
- A lambda calculus for quantum computation with classical control
- A logical basis for quantum evolution and entanglement
- Confluence results for a quantum lambda calculus with measurements
- Game semantics for quantum data
- Game semantics for quantum stores
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- scientific article; zbMATH DE number 4123722 (Why is no real title available?)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Measurements in proof nets as higher-order quantum circuits
- On a fully abstract model for a quantum linear functional language (extended abstract)
- On a measurement-free quantum lambda calculus with classical control
- On multiplicative linear logic, modality and quantum circuits
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Quantum Complexity Theory
- Quantum implicit computational complexity
- Quantum State Transformations and Branching Distributed Temporal Logic
Cited in
(6)- A logic for quantum register measurements
- QPCF: higher-order languages and quantum circuits
- Semantics of higher-order quantum computation via geometry of interaction
- Quantum programming made easy
- scientific article; zbMATH DE number 6774228 (Why is no real title available?)
- Measurements in proof nets as higher-order quantum circuits
This page was built for publication: Wave-style token machines and quantum lambda calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015214)
