对偶等价相关论文
该文证明了(1)在一定条件下, 以Z-连续格为objects和保Z-并的映射为morphisms的范畴ZL是卡氏闭的, (2)Z-代数偏序集范畴对偶等价旦......
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的一个基本特征.正是这一......
