代数范畴相关论文
摘要Quantale概念是由C．J．Mulvey于1986年在研究非交换的G*-代数的谱时首先引入的，其背景是给量子力学提供新的数学模型。对它的研究......
运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了Java面向对象语义的一种代数描......
本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模......
