Free algebras and automata realizations in the language of categories, Commentationes Mathematicae Universitatis Carolinae, vol.015, pp.589-602, 1974. ,
Modules over relative monads for syntax and semantics, Mathematical Structures in Computer Science, vol.26, pp.3-37, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01329609
High-Level Signatures and Initial Semantics, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018, vol.119, pp.1-4, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01930058
Modular Specification of Monads Through Higher-Order Presentations, 4th International Conference on Formal Structures for Computation and Deduction, vol.131, pp.1-6, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02307998
Monads need not be endofunctors, Logical Methods in Computer Science, vol.11, p.1, 2015. ,
Monadic Presentations of Lambda Terms Using Generalized Inductive Types, Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, vol.1683, pp.453-468, 1999. ,
, Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science, vol.55, 2003.
Bisimulation Can't Be Traced, Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pp.229-239, 1988. ,
Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications, vol.2, 1994. ,
Equational Systems and Free Constructions, ICALP, vol.4596, pp.607-618, 2007. ,
Second-Order Algebraic Theories (Extended Abstract), MFCS, vol.6281, pp.368-380, 2010. ,
Abstract Syntax and Variable Binding, 14th Annual IEEE Symposium on Logic in Computer Science, 0202. ,
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics, 21th IEEE Symposium on Logic in Computer Science (LICS 2006), pp.49-58, 2006. ,
Semantics of Name and Value Passing, 16th Annual IEEE Symposium on Logic in Computer Science, pp.93-104, 2001. ,
Term Rewriting with Variable Binding: An Initial Algebra Approach, Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming (PPDP '03), pp.148-159, 2003. ,
Modules over monads and operational semantics, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02338144
Modules over monads and initial semantics, Special Issue: 14th Workshop on Logic, Language, Information and Computation, vol.208, pp.545-564, 2007. ,
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting, Logical Methods in Computer Science, vol.9, p.10, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00540205
Familial monads and structural operational semantics, PACMPL, vol.3, pp.1-21, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01815328
Categorical Logic and Type Theory, Number 141 in Studies in Logic and the Foundations of Mathematics, 1999. ,
A Theory of Explicit Substitutions with Safe and Full Composition, Logical Methods in Computer Science, vol.5, p.3, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00524735
Bialgebras for structural operational semantics: An introduction, Theor. Comput. Sci, vol.412, pp.5043-5069, 2011. ,
Signatures and models for syntax and operational semantics in the presence of variable binding, 2019. ,
Monads and Modular Term Rewriting, Category Theory and Computer Science, 7th International Conference, CTCS '97, vol.1290, pp.69-86, 1997. ,
Categories for the working mathematician, Graduate Texts in Mathematics, vol.5, 1998. ,
A structural approach to operational semantics, J. Log. Algebr. Program, pp.17-139, 2004. ,
Lecture notes on the lambda calculus, 2008. ,
General Structural Operational Semantics through Categorical Logic, Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, pp.166-177, 2008. ,
Towards a Mathematical Operational Semantics, Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, pp.280-291, 1997. ,