交连续性相关论文
Domian理论是计算机函数式程序语言的数学基础,在理论计算科学中发挥着重要的作用,而对它的量化研究是其得到更广泛应用的基础.目前,模......
在局部dcpo和相容dcpo的交连续性的概念的基础上,对局部dopo和相容dcpo的交连续性作了进一步的探讨,丰富并扩展了有关性质和结论.......