拟连续domain的网式刻画 (2014年) 时间:2021-05-10 01:05:28 【文件属性】: 文件名称:拟连续domain的网式刻画 (2014年) 文件大小:105KB 文件格式:PDF 更新时间:2021-05-10 01:05:28 自然科学 论文 本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画. 立即下载