“…Later, domain theory has got a great development in the areas of abstract theories of computation [28,32], the semantics of programming languages [29,34], logic and lambda calculus [3,33], and in other branches of mathematics [14,17]. Now, domain theory is still hot in lambda calculus and programming languages [1,2], stable domain theory [35,38], category theory [20,23], and has many applications in classical mathematics [18,25,26,30].…”