拟连续domain的网式刻画 (2014年)

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

网友评论