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

DOI10.1016/J.ENTCS.2014.10.016zbMATH Open1337.81041OpenAlexW2165693845WikidataQ113317837 ScholiaQ113317837MaRDI QIDQ283772FDOQ283772

Authors: Mathys Rennela 

Publication date: 13 May 2016

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

Recommendations

• Semantics for a quantum programming language by operator algebras
• Semantics for a quantum programming language by operator algebras
• Domains of commutative C-subalgebras
• Publication:4508557
• Operator algebras and the operational semantics of probabilistic languages

zbMATH Keywords

operator theoryquantum computationdomain theory\(W^*\)-algebrasfixpoint theorem

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (12)

• Probabilistic call by push value
• Classical control and quantum circuits in enriched category theory
• Domains of commutative C-subalgebras
• Complete positivity and natural representation of quantum computations
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Title not available (Why is that?)
• Semantics for a quantum programming language by operator algebras
• Semantics for a quantum programming language by operator algebras
• Quantum programming with inductive datatypes: causality and affine type theory
• Total and partial computation in categorical quantum foundations
• Title not available (Why is that?)
• Inversion, iteration, and the art of dual wielding

Uses Software

• QPL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q283772)