Complete positivity and natural representation of quantum computations
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1614150 (Why is no real title available?)
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 1544066 (Why is no real title available?)
- scientific article; zbMATH DE number 3348793 (Why is no real title available?)
- A note on actions of a monoidal category
- Algebraic effects, linearity, and quantum programming languages
- Applying quantitative semantics to higher-order quantum computing
- Construction of biclosed categories
- Dagger compact closed categories and completely positive maps (extended abstract)
- From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
- Presheaf models of quantum computation: an outline
- Quantum weakest preconditions
- Semantics for a quantum programming language by operator algebras
- States of convex sets
- Theory of operator algebras I.
- Towards a quantum domain theory: order-enrichment and fixpoints in W^*-algebras
- Towards a quantum programming language
Cited in
(5)- Classical control, quantum circuits and linear logic in enriched category theory
- Classical control and quantum circuits in enriched category theory
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
- Join inverse rig categories for reversible functional programming, and beyond
- Convexity and order in probabilistic call-by-name FPC
This page was built for publication: Complete positivity and natural representation of quantum computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2520702)
