CX-态射相关硕士博士期刊学术论文

Domain理论主要研究具有特殊性质的偏序集,其目的是为程序语言指称语义提供数学模型.由于具有明显的计算机科学背景以及其研究涉及......