Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras

DOI10.1016/J.ENTCS.2014.10.016zbMath1337.81041OpenAlexW2165693845WikidataQ113317837 ScholiaQ113317837MaRDI QIDQ283772

Mathys Rennela

Publication date: 13 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.10.016

zbMATH Keywords

quantum computationdomain theoryoperator theory\(W^*\)-algebrasfixpoint theorem

Mathematics Subject Classification ID

Quantum computation (81P68) Applications of operator algebras to the sciences (47L90) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (10)

Classical control and quantum circuits in enriched category theory ⋮ Semantics for a quantum programming language by operator algebras ⋮ Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras ⋮ Total and Partial Computation in Categorical Quantum Foundations ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Complete positivity and natural representation of quantum computations ⋮ Unnamed Item ⋮ Inversion, Iteration, and the Art of Dual Wielding

Uses Software

• QPL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Operator algebras with a faithful weakly-closed representation
• On classifying monotone complete algebras of operators
• A note on unitary operators in \(C^ *\)-algebras
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• The Category-Theoretic Solution of Recursive Domain Equations
• Quantum collections
• Towards a quantum programming language
• Theory of operator algebras I.

This page was built for publication: Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras