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

