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