有限Kripke多项式函子相关硕士博士期刊学术论文

共代数是代数的对偶概念，基于观察的角度考察集合及其上操作。计算机科学中很多系统都可以归结为共代数，如自动机、抽象数据类型、面......