Algebraic effects, linearity, and quantum programming languages
From MaRDI portal
Recommendations
Cited in
(22)- \(\mathcal{Q}\)\textsc{wire} practice: formal verification of quantum circuits in Coq
- The many-worlds calculus
- \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits
- An Algebraic Language for Distributed Quantum Computing
- Classical control, quantum circuits and linear logic in enriched category theory
- Classical control and quantum circuits in enriched category theory
- Universal Properties in Quantum Theory
- Complete positivity and natural representation of quantum computations
- scientific article; zbMATH DE number 7441252 (Why is no real title available?)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL
- An algebra of pure quantum programming
- Semantics for a quantum programming language by operator algebras
- Semantics for a quantum programming language by operator algebras
- Quantum circuit completeness: extensions and simplifications
- How to prove decidability of equational theories with second-order computation analyser SOL
- Higher-order asynchronous effects
- scientific article; zbMATH DE number 7566074 (Why is no real title available?)
- The Arrow Calculus as a Quantum Programming Language
- An introduction to algebraic effects and handlers (invited tutorial paper)
- The quantum monadology
- No value restriction is needed for algebraic effects and handlers
- Q\# as a quantum algorithmic language
This page was built for publication: Algebraic effects, linearity, and quantum programming languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819826)
