A category of compositional domain-models for separable Stone spaces.

DOI10.1016/S0304-3975(02)00037-3zbMath1051.68102MaRDI QIDQ1853606

Furio Honsell, Fabio Alessi, Paolo Baldan

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Denotational semanticsStone spacesDomain theoryTotality

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Implementing Cantor’s Paradise ⋮ Ideal models of spaces.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-well-founded sets modeled as ideal fixed points
• Total objects of domains
• A computational model for metric spaces
• A characterization of distance between 1-bounded compact ultrametric spaces through a universal space
• Effectively given domains
• Embedding metric spaces into CPO's
• Metric semantics from partial order semantics
• Real number computability and domain theory
• A domain equation for bisimulation
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• A Powerdomain Construction
• Spaces of maximal points

This page was built for publication: A category of compositional domain-models for separable Stone spaces.