【摘要】在理论计算机与纯数学的双重背景下产生的Domain理论是理论计算机科学的基础和核心,起着举足轻重的作用.它以数学为工具,运用符号和公式,并借助函数式程序语言严格地解释了程序设计的语义.自从上世纪70年代D.S.Scott和A.Ers-hov的开创性工作以来,由于其丰富的拓扑和序结构,以及与计算实践的紧密联系,受到计算机科学与数学领域内诸多学者的密切关注.量化Domain理论是Domain理 […]