Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,序与拓扑的相互结合,相互作用在这一理论中起着基本而重要的作用.这......

引入FZ-连续子空间的概念,在此基础上得到FZ-Scott开集和Z-Scott闭集都是FZ-Domain的FZ-连续子空间.证明了FZ-Domain的FZ-连续性对......

在FZ-Domain中引入FZ-定向基与FZ-抽象基的概念,研究了它们的RZ-理想完备化.证明了：对一类子集系统,一个FZ-Domain的FZ-定向基的定......