局部Beneath关系相关论文
Domain理论主要以满足一定条件的偏序集以及它们之间的映射为研究对象.本文第一部分我们用局部Scott闭集替代Beneath关系定义中的S......
学位