拓扑半群相关论文
Scott空间是指完备格带有Scott拓扑的拓扑空间（后来Scott拓扑也定义在dcpo上,更一般地,定义在一般偏序集上）.一般情况下,Scott空间是......
Domain理论由D.Scott在20世纪70年代初建立,其目的是为计算机程序设计语言的指称语义学提供数学模型.其中序与拓扑的相互作用,相互......
