Stone duality and representation of stable domain

In this paper, the author studies the Stone duality and representation of L-domain w.r.t. stable functions. Two basic notions are introduced, one is D-semilattice and the other is semitopological system. The author first gives the representation of stable D-lattice, then establishes the representati...

Celý popis

Podrobná bibliografie

Vydáno v:	Computers & mathematics with applications (1987) Ročník 34; číslo 1; s. 27 - 41
Hlavní autor:	Chen, Yixiang
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 1997
Témata:	Denotational semantics of programming languages Domain theory representation Stable domains Stone duality Stone duality Denotational semantics of programming languages Stable domains Domain theory representation
ISSN:	0898-1221, 1873-7668
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!