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