Consistent-linear \textit{FS}-domains

DOI10.1016/J.TOPOL.2019.106893MaRDI QIDQ2334016zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 6 November 2019

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2019.106893

zbMATH Keywords

consistencyconsistent Hoare powerdomainconsistent-linear \textit{FS}-domaindistributivitydomain

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Consistency and independence results in general topology (54A35)

Recommendations

• Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains
• A representation of FS-domains by formal concept analysis
• On \(FS_+\)-domains
• scientific article; zbMATH DE number 1775339
• Compact continuous \(L\)-domains

Cites work

• Consistent Hoare powerdomains over dcpos
• Consistent Hoare powerdomains.
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Linear types and approximation

Cited in

(9)

• On \(FS_+\)-domains
• Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains
• A representation of FS-domains by formal concept analysis
• Linear types and approximation
• On the function spaces of semilattice homomorphisms and FS_-domains
• The property M and finite separatedness of continuous L-posets
• scientific article; zbMATH DE number 1154167 (Why is no real title available?)
• scientific article; zbMATH DE number 1775339 (Why is no real title available?)
• A bifinite domain based on closed circular rings

This page was built for publication: Consistent-linear \textit{FS}-domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334016)