A Duality Theorem for Real C * Algebras

DOI10.1007/978-3-642-03741-2_20zbMath1239.68042OpenAlexW1719047423MaRDI QIDQ2888494

M. Andrew Moshier, Daniela Petrişan

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_20

zbMATH Keywords

dualitycategoriesproximity latticesreal \(C ^{*}\) algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General theory of (C^*)-algebras (46L05) Lattices and duality (06D50) Frames, locales (06D22)

Related Items

Reversible monadic computing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• CPO's of measures for nondeterminism
• Domain theory in logical form
• Approximating labelled Markov processes
• On the relationship between compact regularity and Gentzen's cut rule
• A globalisation of the Gelfand duality theorem
• Constructive Gelfand duality for C*-algebras
• Foundations of Software Science and Computation Structures