With chapters by Coalgebras in functional programming and type theory, Algebraic System Specification and Devalopment ? A Survey and Annotated BibliographyCMR + 97 Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In [Roz97], pp.5006-5024, 1991. ,
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, ICGT 2002, 1985. ,
ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION ??? PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH, pp.247-312 ,
DOI : 10.1142/9789812384720_0004
Fundamentals of Algebraic Graph Transformation, 2006. ,
Monads of coalgebras: rational terms and term graphs, Monads of Coalgebras: Rational Terms and Term Graphs RAMiCS 2011Kah14] Kahl, W.: Relation-Algebraic Theories in Agda ? RATH-Agda ICGT 2008.: On Institutions for Modular Coalgebraic Specifications, pp.433-451, 1987. ,
DOI : 10.1017/S0960129505004743
Algebraic Approach to Graph Transformation Based on Single Pushout Derivations, 1990. ,
An Algebraic Framework for the Transformation of Attributed Graphs Term Graph Rewriting: Theory and Practice Towards a Practical Programming Language Based on Dependent Type Theory Delaying Constraint Solving in Symbolic Graph Transformation, ICGT 2010Par98] Pardo, A.: Monadic Corecursion ? Definition, Fusion Laws and Applications, pp.185-199, 1993. ,
Towards Graph Programs for Graph Algorithms The Graph Programming Language GP From Algebras and Coalgebras to Dialgebras A Unified Categorical Approach for Attributed Graph Rewriting Universal coalgebra: a theory of systems, ICGT 2004 CAI 2009 Handbook of Graph Grammars and Computing by Graph Transformation, pp.128-143, 1997. ,