上拓扑相关论文
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.大约在同一时期,在纯数学领域,Lawson......
证明了在广义完全分配格中二元关系ρ满足幂等性, 即ρ2=ρ, 借助于二元关系ρ给出了广义完全分配格的几个刻划.......