Properties of substitutions and unifications, J. Symbolic Comput, vol.1, pp.31-46, 1985. ,
From graph grammars to high level replacement systems, GraGra '90, vol.532, pp.269-287, 1991. ,
Fundamentals of Algebraic Graph Transformation, 2006. ,
Equalizers in Kleisli categories. Cahiers de Topologie ed Géométrie Différentielle Catégoriques, vol.57, pp.51-76, 2016. ,
Categories of coalgebras with monadic homomorphisms, CMCS 2014, vol.8446, pp.151-167, 2014. ,
Graph transformation with symbolic attributes via monadic coalgebra homomorphisms. ECEASST, 71:5.1-5, vol.17, 2015. ,
Adhesive categories, FOSSACS 2004, vol.2987, pp.273-288, 2004. ,
Adhesive and quasiadhesive categories, RAIRO Inform. Théor. Appl, vol.39, issue.3, pp.511-545, 2005. ,
Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. USA, vol.50, pp.869-872, 1963. ,
Towards a Practical Programming Language Based on Dependent Type Theory, Dept. Comp. Sci. and Eng, 2007. ,
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms, Category Theory and Computer Science, vol.283, pp.114-139, 1987. ,
On limits and colimits in the Kleisli category. Cahiers de Topologie ed Géométrie Différentielle Catégoriques, vol.24, pp.381-391, 1983. ,