Title of article :
Stone duality and representation of stable domain
Author/Authors :
Yixiang Chen، نويسنده ,
Issue Information :
هفته نامه با شماره پیاپی سال 1997
Pages :
15
From page :
27
To page :
41
Abstract :
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 representation theorem of L-domain and gives the Stone duality of L-domains w.r.t. stable functions in the scheme of lattice. The author introduces the theory of semitopological systems, which is a generalization of Vickersʹ topological systems. By using it, the author gives the Stone duality of L-domains w.r.t. stable functions and that of Scott domains w.r.t. functions preserving the directed sups and meets of nonempty subsets in the scheme of topology.
Keywords :
Denotational semantics of programming languages , Stable domains , Domain theory , Stone duality , Representation
Journal title :
Computers and Mathematics with Applications
Serial Year :
1997
Journal title :
Computers and Mathematics with Applications
Record number :
918068
Link To Document :
بازگشت