1. Verified Technology Mapping in an Agda DSL for Circuit Design;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31
2. A survey of categorical properties of L-fuzzy relations;Fuzzy Sets and Systems;2021-11
3. DisCoPy: Monoidal Categories in Python;Electronic Proceedings in Theoretical Computer Science;2021-02-08
4. Allegories;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
5. Generalised N-ary Relations and Allegories;Relational and Algebraic Methods in Computer Science;2015