Representations of algebraic domains and algebraic L-domains by information systems

DOI10.1016/j.entcs.2014.01.010zbMath1337.68163OpenAlexW1965578790WikidataQ113317913 ScholiaQ113317913MaRDI QIDQ276406

Mingyuan Wu, Qing-Guo Li, Xiang-Nan Zhou

Publication date: 3 May 2016

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

zbMATH Keywords

information systemalgebraic domaincategory equivalencealgebraic L-domain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (2)

Weak algebraic information systems and a new equivalent category of DOM of domains ⋮ Representations of stably continuous semi-lattices by information systems and abstract bases

Cites Work

• Information systems revisited -- the general continuous case
• The system \({\mathcal F}\) of variable types, fifteen years later
• \(dI\)--domains as prime information systems
• Continuous information systems
• Categories of embeddings
• A representation of SFP
• Information systems for continuous posets
• Continuous Lattices and Domains
• Disjunctive systems and L-Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Representations of algebraic domains and algebraic L-domains by information systems