双Z-Scott拓扑相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,属于格论、拓扑学、范畴论及理论计算机科学的交叉领域,所以受到众多......
在完备格上定义了双Z-连续格和双Z-Scott拓扑,讨论了双Z-Scott拓扑的格序性质.得到了当P是Z-拟连续时,双Z-Scott拓扑是T2的;证明了......
