一种基于共代数的面向对象形式语义

一种基于共代数的面向对象形式语义Title: Co-algebra-based Object-oriented Semantics: An in-depth analysisAbstract:Obje