诱导scott拓扑相关论文
产生于60年代的Domain理论,旨在为计算机函数式语言奠定数学基础.在该理论中逼近、收敛等概念占有重要的基础地位,然而对逼近程度的度......
该文研究了以下几个问题.1.讨论了ω-连续domain上的测度,加深了对测度本身的理解.2.完全解决了具有单调测度的μ-σ连续映射何时......
给出了[D→D](μ)极大的等价刻划,从而解答了Keye Martin 2000年提出的关于具有单调测度的μ-σ连续映射的问题,同时还研究了ω-连......