自由dcpo相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的一个基本特征.正是这一......
给出了一类局部有限dcpo的概念及在其结构下的自由局部有限depo，进而给出新的连续性概念，接着讨论这种自由的局部有限depo和自由连续......
