A representation of L-domains by information systems

DOI10.1016/j.tcs.2015.11.037zbMath1332.68136OpenAlexW2187587455MaRDI QIDQ896923

Lankun Guo, Mingyuan Wu, Qing-Guo Li

Publication date: 15 December 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.11.037

zbMATH Keywords

information systemcategorical equivalenceL-domain

Mathematics Subject Classification ID

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

Related Items (6)

Information systems for continuous semi-lattices ⋮ Generalised information systems capture L-domains ⋮ Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ A set-theoretic representation of algebraic L-domains ⋮ 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
• 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: A representation of L-domains by information systems