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

DOI10.1016/J.ENTCS.2014.10.016MaRDI QIDQ283772zbMATH OpenOpenAlexWikidataFDO

Authors Mathys Rennela

Publication date 13 May 2016

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

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)

Recommendations

• Semantics for a quantum programming language by operator algebras
• Semantics for a quantum programming language by operator algebras
• Domains of commutative C-subalgebras
• scientific article; zbMATH DE number 1512859
• Operator algebras and the operational semantics of probabilistic languages

Cites work

• scientific article; zbMATH DE number 3820471 (Why is no real title available?)
• scientific article; zbMATH DE number 3348793 (Why is no real title available?)
• scientific article; zbMATH DE number 3070701 (Why is no real title available?)
• A note on unitary operators in \(C^ *\)-algebras
• On classifying monotone complete algebras of operators
• Operator algebras with a faithful weakly-closed representation
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Quantum collections
• The Category-Theoretic Solution of Recursive Domain Equations
• Theory of operator algebras I.
• Towards a quantum programming language

Cited in

(12)

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

Describes a project that uses

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)