算术半格论文

算术半格的表示
论文摘要Domain理论主要研究具有特殊性质的偏序集,其目的是为程序语言指称语义提供数学模型.由于具有明显的计算机科学背景以及其研究涉及到拓扑结构和序结构,该理论受到理论计算机...