本文讨论了在逻辑框架下刻画Domain范畴所必需的方法与技巧.Domain以及它们之间的Scott-连续映射构成了计算机程序语言的指称语义......

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明：（1）FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函......

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