Representation of FS-domains based on closure spaces

DOI10.1016/J.ENTCS.2019.07.029OpenAlexW2971589770WikidataQ113317435 ScholiaQ113317435MaRDI QIDQ2130617

Lingjuan Yao, Qing-Guo Li

Publication date: 25 April 2022

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

zbMATH Keywords

closure operatorcategorical equivalenceFS-domainFS-closure space

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Meet-distributive lattices and the anti-exchange closure
• The categorical equivalence between algebraic domains and F-augmented closure spaces.
• Continuous Lattices and Domains
• The Theory of Representation for Boolean Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Representation of FS-domains based on closure spaces