Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合,相互作用是这一理论的基本特征.这一特征使得D......

引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定......

该文证明了有最小元的Exact偏序集（弱Domain）的乘积为Exact偏序集（弱Domain），Exact Domain在保定向并的投射算子、具有下伴随的投射算子......