Consistent-linear \textit{FS}-domains

DOI10.1016/J.TOPOL.2019.106893zbMath1494.06002OpenAlexW2973313140MaRDI QIDQ2334016

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

consistencydistributivitydomainconsistent Hoare powerdomainconsistent-linear \textit{FS}-domain

Mathematics Subject Classification ID

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

Cites Work

• Consistent Hoare powerdomains.
• Consistent Hoare powerdomains over dcpos
• Linear types and approximation
• Continuous Lattices and Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item

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