拟C-偏序集相关论文
自D.Scott的开创性工作以来,Domain的结构理论成为计算机函数式语言的指称语义学研究的一个关键点。从数学的角度来看,domain理论主......
Menon在对连续Domain进行推广时引入C-偏序集的概念,即可用主滤子与上完备下集分离点的偏序集.基于Menon的思想,我们把拟连续偏序......
Menon在对连续Domain进行推广时引入C-偏序集的概念,即可用主滤子与上完备下集分离点的偏序集。基于Menon的思想,我们把拟连续偏序......