1. Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. An Analysis of Symmetry in Quantitative Semantics;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Stabilized profunctors and stable species of structures;Logical Methods in Computer Science;2024-02-29
4. Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories;Electronic Proceedings in Theoretical Computer Science;2023-12-14
5. The Cartesian Closed Bicategory of Thin Spans of Groupoids;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26