1. Braids, Twists, Trace and Duality in Combinatory Algebras;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Traced Monads and Hopf Monads;Compositionality;2023-10-30
3. From Linear Logic to Cyclic Sharing;Electronic Proceedings in Theoretical Computer Science;2019-04-15
4. Guarded Traced Categories;Lecture Notes in Computer Science;2018
5. The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics;Mathematical Structures in Computer Science;2016-10-24