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

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