Structuring quantum effects: superoperators as arrows
From MaRDI portal
Publication:5482270
DOI10.1017/S0960129506005287zbMath1122.68062WikidataQ61583917 ScholiaQ61583917MaRDI QIDQ5482270
Amr Sabry, Thorsten Altenkirch, Juliana Kaizer Vizzotto
Publication date: 28 August 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Theory of programming languages (68N15)
Related Items (9)
Notions of computation as monoids ⋮ FJQuantum. A quantum object oriented language ⋮ The Arrow Calculus as a Quantum Programming Language ⋮ Categorical semantics for arrows ⋮ An Overview of QML With a Concrete Implementation in Haskell ⋮ Modelling Parallel Quantum Computing Using Transactional Memory ⋮ Quantum Circuits: From a Network to a One-Way Model ⋮ From Reversible to Irreversible Computations ⋮ Quantum Arrows in Haskell
Uses Software
This page was built for publication: Structuring quantum effects: superoperators as arrows
