Construction of bi-Scott domains via ideal completion

DOI10.5540/TEMA.2007.08.03.0341MaRDI QIDQ5390888zbMATH OpenOpenAlexFDO

Authors R. Callejas-Bedregal, Benjamín Bedregal

Publication date 4 April 2011

Published in TEMA - Tendências em Matemática Aplicada e Computacional (Search for Journal in Brave)

Full work available at URL https://doi.org/10.5540/tema.2007.08.03.0341

Mathematics Subject Classification ID

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

Recommendations

• Normal domain representations of topological spaces
• Representing L-domains as information systems
• scientific article; zbMATH DE number 956838
• Computability on dl-domains
• Constructive domains with classical witnesses

This page was built for publication: Construction of bi-Scott domains via ideal completion

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