Classical control and quantum circuits in enriched category theory
From MaRDI portal
Publication:2130598
DOI10.1016/j.entcs.2018.03.027OpenAlexW2802693374WikidataQ113317553 ScholiaQ113317553MaRDI QIDQ2130598
Publication date: 25 April 2022
Full work available at URL: https://doi.org/10.1016/j.entcs.2018.03.027
categorical semanticsenriched categoriesquantum circuitslinear type theoryquantum domain theoryrelative monad
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On block structures in quantum computation
- Freyd categories are enriched Lawvere theories
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras
- Monads with arities and their associated theories
- Algebraically compact functors
- \(C^*\)-algebras and \(W^*\)-algebras.
- Complete positivity and natural representation of quantum computations
- Algebraic Effects, Linearity, and Quantum Programming Languages
- From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
- An Introduction to Quantum Programming in Quipper
- Linear-use CPS translations in the Enriched Effect Calculus
- The ZX-calculus is complete for stabilizer quantum mechanics
- Monads Need Not Be Endofunctors
- Quantum collections
- Towards a quantum programming language
- Presheaf Models of Quantum Computation: An Outline
- A Recipe for State-and-Effect Triangles
- QWIRE: a core language for quantum circuits
- Linear usage of state
- Applying quantitative semantics to higher-order quantum computing
- On closed categories of functors
This page was built for publication: Classical control and quantum circuits in enriched category theory
