1. A categorical framework for congruence of applicative bisimilarity in higher-order languages;Logical Methods in Computer Science;2022-09-21
2. Modules over monads and operational semantics (expanded version);Logical Methods in Computer Science;2022-08-02
3. A Cellular Howe Theorem;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
4. Reduction monads and their signatures;Proceedings of the ACM on Programming Languages;2020-01
5. Cellular Monads from Positive GSOS Specifications;Electronic Proceedings in Theoretical Computer Science;2019-08-22