弱良滤性论文

偏序集上的拓扑性质及函数空间的研究
论文摘要Domain理论是D.Scott在60年代末提出来的,它是函数式程序语言的指称语义模型.序结构和拓扑结构是Domain理论中两个重要的数学结构,一些特殊拓扑在一般偏序集...