Representability of locally compact regular spaces by domains and formal spaces

DOI10.1016/S0304-3975(96)00152-1zbMath0901.68113MaRDI QIDQ1391747

Viggo Stoltenberg-Hansen, Inger Sigstam

Publication date: 22 July 1998

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

zbMATH Keywords

domain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (4)

Formal spaces and their effective presentations ⋮ Maximal and partial points in formal spaces ⋮ Regular universes and formal spaces ⋮ Extension of valuations on locally compact sober spaces

Cites Work

• Domain theory and integration
• Domain representability of metric spaces
• Embedding metric spaces into CPO's
• Total sets and objects in domain theory
• Formal spaces and their effective presentations
• Complete local rings as domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Representability of locally compact regular spaces by domains and formal spaces