k-有界sober空间相关论文
Domain理论作为理论计算机科学中程序设计语言的指称语义学的数学基础,由Scott在20世纪60年代末70年代初建立以来,已取得了丰富的......
产生于上世纪60年代末70年代初的Domain理论是由D.Scott建立,该理论与拓扑、代数、范畴等学科有着密切联系.1965年,L.A.Zadeh提出......
Sober空间在非Hausdorff拓扑与Domain理论中扮演着重要角色并且具有许多良好的性质.超sober空间是一类比sober空间更强的空间,k-有......
