1. Diagrammatic Algebra of First Order Logic;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
3. Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version;Journal of Automated Reasoning;2023-07-05
4. Allegories of Symbolic Manipulations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Completeness of Nominal PROPs;Logical Methods in Computer Science;2023-01-26