本文对格和双domain范畴上的区间构造，以及代数L-domain上的函数空间进行了讨论。 首先，在格上利用区间构造及定义的信息序得到了......

讨论了C-双有限domain的SM性质，并证明：（i）所有 C-双有限 domain 具有 SM性质；（ii）连续L-domain D是C-双有限domain 当且仅当D具有SM性质......

在domain理论中，事件结构和信息系统是domain的逻辑表示的主要工具．通过研究事件结构和它所对应的domain结构之间的关系，作者提出了L-......

在domain理论中，事件结构和信息系统是domain的逻辑表示的主要工具．通过研究事件结构和它所对应的domain结构之间的关系，作者提出了L-......

利用梁基华教授等提出的步函数的新定义，讨论了一般情况下代数L-domain的函数空间．证明了如果L1和L2都是代数的L—domain，则函数空间[......

利用梁基华教授等提出的步函数的新定义，讨论了一般情况下代数L-domain的函数空间．证明了如果L1和L2都是代数的L—domain，则函数空间[......

20世纪70年代,图灵奖获得者Dana Scott提出了Domain理论,它在计算机程序设计语言中有重要作用。在纯数学领域,Lawson,Stralka等人......

Domain理论,作为序理论的一个分支,被广泛地应用于数学,逻辑,计算机科学等各个领域。在Domain理论中,一个最基本的概念是way below......

在Domain理论中，函数空间的研究是重要而基本的。Achim Jung证明了若D，E是有最小元并且具有性质m的DCPO，那么[D→E]连续蕴涵D是Lawson......