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