本文给出了一个只需要连续domain本身性质的子domain的内蕴定义,并证明它与传统的用连续映射定义的子domain的等价性。同时讨论了......

1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......

考察了FS-domain对某些子结构和收缩核的遗传性.证明了FS-domain对闭子空间和一类特殊的开子空间均是可遗传的,还证明了FS-domain......

主要研究了一些连续domain上Scott连续自映射的不动点集的性质．证明了若L是双有限domain,f：L→L是一致交换映射，则Fix（f）是双有限domain......