论文部分内容阅读
在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质I的代数L-domain和稳定映射构成的范畴,由此说明了可以通过特殊的事件结构来表示具有性质I的代数L—domain.