拟紧元相关论文
产生于上世纪70年代初期的论域理论是理论计算机科学的一个重要领域,旨在为计算机函数式语言的研究奠定数学基础.序和拓扑的相互结......
在连续格中，引入了拟紧元和拟基的概念，在研究了它们的基本性质的基础上，给出了连续格的一种表示定理．......
