Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains

DOI10.1016/j.entcs.2017.08.012zbMath1395.06004OpenAlexW2758194307WikidataQ113317581 ScholiaQ113317581MaRDI QIDQ1744465

Hui Kou, Yayan Yuan

Publication date: 23 April 2018

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

zbMATH Keywords

consistencydomain\textit{FS-}\(\land^{\uparrow}\)-domainconsistent Smyth powerdomain

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Power domains and second-order predicates
• Power domain constructions
• Topology, domain theory and theoretical computer science
• Convex power domain and Vietoris space
• Consistent Smyth powerdomains.
• Linear types and approximation
• A Powerdomain Construction
• Continuous Lattices and Domains
• Characterising FS domains by means of power domains
• An upper power domain construction in terms of strongly compact sets

This page was built for publication: Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains