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. A Calculus of Delayed Reductions;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. C-system of a module over a Jf-relative monad;Journal of Pure and Applied Algebra;2023-06
4. The 2nd World Logic Prizes Contest;2022-03-09
5. The combinator M and the Mockingbird lattice;Mathematical Structures in Computer Science;2022-03