连续偏序集论文

s2-连续性的遗传性和映射不变性
论文摘要基于正规完备化算子,本文讨论了s2-连续性和s2-拟连续性的遗传性和映射不变性.主要结果有:（1）s2-连续性、s2-交连续性与s2-拟连续性对弱Scott开集都是可遗...
偏序集上的拓扑性质及函数空间的研究
论文摘要Domain理论是D.Scott在60年代末提出来的,它是函数式程序语言的指称语义模型.序结构和拓扑结构是Domain理论中两个重要的数学结构,一些特殊拓扑在一般偏序集...