超连续论文

超连续格和双Scott拓扑若干问题的研究
论文摘要本文在完备格上定义了超逼近元,得到关于超连续格的一个范畴性质,证明了完备格L为超连续格当且仅当关系“＜”具有插入性质且(?)x,y∈L,x≠y(?)i(x)≠i(y)。...
拟超连续Domain与拟超连续格
论文摘要Domain理论产生于20世纪70年代早期D．Scott为解决计算机程序设计语言语义学问题对连续格的研究。大约在同一时期，在纯数学领域，Lawson、Stralka等人...