幂domain相关论文
不确定性现象广泛存在于纷繁芜杂的现实生活里，因而计算机程序中的非确定性计算是计算机科学的主要研究课题之一.非确定性计算和可......
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明：（1）FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函......
定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空......
