Stable domains are generalized topological spaces

DOI10.1016/0304-3975(93)90184-UzbMath0806.06015WikidataQ126586930 ScholiaQ126586930MaRDI QIDQ685417

François Lamarche

Publication date: 17 October 1993

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

zbMATH Keywords

continuous functionsstable functionsstable domainsgeneralized topological spacesgeneralized locale

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Heyting algebras (lattice-theoretic aspects) (06D20) Ordered topological structures (06F30)

Related Items (2)

Stone duality and representation of stable domain ⋮ Quantitative domains and infinitary algebras

Cites Work

• An algebraic approach to stable domains
• The system \({\mathcal F}\) of variable types, fifteen years later
• Domain theory in logical form
• Quantitative domains and infinitary algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stable domains are generalized topological spaces