信息序论文

Domain上的区间偏序集和函数空间
论文摘要本文对格和双domain范畴上的区间构造,以及代数L?domain上的函数空间进行了讨论。首先,在格上利用区间构造及定义的信息序得到了区间偏序集。若原格是完备的,弱原子...