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. Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata;Lecture Notes in Computer Science;2024
3. A Calculus of Delayed Reductions;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
4. Weak Similarity in Higher-Order Mathematical Operational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. A Theory of Structured Propositions;Philosophical Review;2023-04-01