On quantum lambda calculi: a foundational perspective
From MaRDI portal
Recommendations
Cites work
- \(\lambda\)-definability and recursiveness
- A Lambda Calculus for Quantum Computation
- A lambda calculus for quantum computation with classical control
- A single quantum cannot be cloned
- An overview of QML with a concrete implementation in Haskell
- Bounded linear logic: A modular approach to polynomial-time computability
- Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
- Classically controlled quantum computation
- Computational Complexity
- Computational complexity of uniform quantum circuit families and quantum Turing machines
- Game semantics for quantum data
- scientific article; zbMATH DE number 5076264 (Why is no real title available?)
- scientific article; zbMATH DE number 5162350 (Why is no real title available?)
- scientific article; zbMATH DE number 47995 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 1776257 (Why is no real title available?)
- Light logics and optimal reduction: completeness and complexity
- Linear logic
- Machines, Logic and Quantum Physics
- On a measurement-free quantum lambda calculus with classical control
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Probabilistic operational semantics for the lambda calculus
- Quantum Complexity Theory
- Quantum computation and quantum information†
- Quantum computation by measurement and quantum memory
- Quantum Computing
- Quantum computing.
- Quantum implicit computational complexity
- Quantum patterns and types for entanglement and separability
- Quantum State Transformations and Branching Distributed Temporal Logic
- Quantum theory, the Church–Turing principle and the universal quantum computer
- Soft linear logic and polynomial time
- The algebraic lambda calculus
- Towards a quantum programming language
- Trends in logic. 50 years of Studia Logica
Cited in
(29)- Quantum implicit computational complexity
- A class of recursive permutations which is primitive recursive complete
- A logic for quantum register measurements
- 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 categorical semantics of lambda-\(\mathcal{S}\)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
- Measurements and confluence in quantum lambda calculi with explicit qubits
- Confluence results for a quantum lambda calculus with measurements
- \textsc{qPCF}: a language for quantum circuit computations
- Taming Non-compositionality Using New Binders
- On a measurement-free quantum lambda calculus with classical control
- A certified study of a reversible programming language
- A Lambda Calculus for Quantum Computation
- Quantum programming made easy
- Typing Quantum Superpositions and Measurement
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- scientific article; zbMATH DE number 6774228 (Why is no real title available?)
- A double effect -calculus for quantum computation
- A lambda calculus for quantum computation with classical control
- Typed Lambda Calculi and Applications
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- A concrete model for a typed linear algebraic lambda calculus
- Causality in higher order process theories
- A linear linear lambda-calculus
- The sup connective in IMALL: a categorical semantics
This page was built for publication: On quantum lambda calculi: a foundational perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2973238)