算术半格相关论文
Domain理论主要研究具有特殊性质的偏序集,其目的是为程序语言指称语义提供数学模型.由于具有明显的计算机科学背景以及其研究涉及......
Domain理论是由20世纪70年代,图灵奖获得者Dana Scott等人创立,它为计算机函数式程序语言提供指称语义,在计算机领域中起着重要的......