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