A lambda calculus for quantum computation with classical control
From MaRDI portal
Publication:5482273
Recommendations
Cited in
(52)- Quantum data and control made easier
- Quantum programming made easy
- A concrete model for a typed linear algebraic lambda calculus
- An automated deductive verification framework for circuit-building quantum programs
- A logic for quantum register measurements
- Game semantics for quantum stores
- On a measurement-free quantum lambda calculus with classical control
- A Lambda Calculus for Quantum Computation
- Modular inference of linear types for multiplicity-annotated arrows
- Quantum computation: from a programmer's perspective
- Models of quantum computation and quantum programming languages
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- Quantum implicit computational complexity
- Game semantics for quantum data
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Quantum programming with inductive datatypes: causality and affine type theory
- The Arrow Calculus as a Quantum Programming Language
- scientific article; zbMATH DE number 6712184 (Why is no real title available?)
- Quantum patterns and types for entanglement and separability
- QPCF: higher-order languages and quantum circuits
- Towards a quantum programming language
- 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 double effect \(\lambda \)-calculus for quantum computation
- Universal Properties in Quantum Theory
- Probabilistic operational semantics for the lambda calculus
- Semantics of quantum programming languages: Classical control, quantum control
- Reversible monadic computing
- \textsc{qPCF}: a language for quantum circuit computations
- An overview of QML with a concrete implementation in Haskell
- Confluence results for a quantum lambda calculus with measurements
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Non-linearity as the metric completion of linearity
- Typed Lambda Calculi and Applications
- Measurements and confluence in quantum lambda calculi with explicit qubits
- FJQuantum. A quantum object oriented language
- Classically time-controlled quantum automata
- On a fully abstract model for a quantum linear functional language (extended abstract)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- Formal meta-level analysis framework for quantum programming languages
- On quantum lambda calculi: a foundational perspective
- 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
- Semantics for a quantum programming language by operator algebras
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
- Wave-style token machines and quantum lambda calculi
- Types and typechecking for Communicating Quantum Processes
- Presheaf models of quantum computation: an outline
- Quantum CPOs
- Type-safe quantum programming in Idris
- A quick overview on the quantum control approach to the lambda calculus
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)
