忘却函子和自由函子相关硕士博士期刊学术论文 - 信丰网

忘却函子和自由函子相关论文

描述面向对象语言抽象语义的几个关键概念

本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模......

期刊

P-代数代数范畴忘却函子和自由函子 P-algebra algebra category forgetting functor and free fun

看过本文同时还关注