在理论计算机与纯数学的双重背景下产生的Domain理论是理论计算机科学的基础和核心，起着举足轻重的作用.它以数学为工具，运用符号和......

利用步函数讨论了domain函数空间的代数性,证明了当D是Lawson紧的代数domain,L是一个特定的非L-domain的连续domain时,函数空间[D......