1. Płonka adjunction;Logic Journal of the IGPL;2024-05-25
2. Discrete equational theories;Mathematical Structures in Computer Science;2024-01-22
3. Correspondence Between Composite Theories and Distributive Laws;Lecture Notes in Computer Science;2024
4. Enriching Diagrams with Algebraic Operations;Lecture Notes in Computer Science;2024
5. Syntax Monads for the Working Formal Metatheorist;Electronic Proceedings in Theoretical Computer Science;2023-12-14