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