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

本文研究的主要内容是半连续格、相容连续偏序集及exact偏序集上的重要问题。 1.首先考虑了半连续格，这是连续格的推广。研究了......

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

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