设(Ω，*，I)是一个交换的有单位元的quantale，它是一个monoidal闭范畴，其上的enriched范畴简称为Ω-范畴．Ω-范畴是量化domain理论中主要......

随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......

Domain理论具有理论计算机科学与纯数学的双重研究背景，它是计算机程序设计语言的指称语义学的数学基础，它与拓扑、逻辑、代数、范畴......

无论从计算机科学和纯数学方面，Domain理论研究的一个重要方面是尽可能地将连续格(Domain)理论推广到更为一般的偏序结构上去.本文......

在Domain理论、粗糙集理论和模态逻辑的研究中，序结构、拓扑结构和代数结构是相互渗透和相互影响的.特别地,由于在Domain理论中，拓扑......

自Turing奖得主Scott发现连续格以来，许多研究者对连续格的研究就保持着浓厚的兴趣.连续格是一种具有特殊性质的完备格，其内部结构十......