半连续格的半素极小集与序同态扩张.pdfVIP

I II 舳I I I lllIlI,l,,,Illl,m,11．1ll,o,．lIIU|III Y1 944508 摘 要 近三十年来，数学与计算机科学的交叉，尤其是拓扑方法、格序结构、范 畴结构等在计算机科学中的应用引起了人们的广泛关注．二十世纪70年代初， 称语义学研究的一个关键点． 无论从数学的角度还是从计算机程序指称语义学的角度而言，Domain理论 研究的一个重要方面是尽可能地将连续格(domain)理论推广到更为一般的偏序 续格、广义连续格、压连续偏序集和FS-格，它们属连续格(domain)最为成功的推 人引入了一类重要的domain．拟连续domain，其基本思路是将”点”与”点”之间的way below关系推广至”集”与”集”