↑μ-拓扑相关硕士博士期刊学术论文

在计算机科学中,我们使用拓扑来描述信息的逼近状态,Domain上的Scott拓扑是最基本的拓扑.一个自然的问题是:对任意一族dcpo{L:i∈I......