1. No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. The Power-Set Construction for Tree Algebras;Logical Methods in Computer Science;2023-11-03
3. Monadic Monadic Second Order Logic;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
4. No-Go Theorems for Distributive Laws;Logical Methods in Computer Science;2022-01-19
5. Algebraic Presentation of Semifree Monads;Coalgebraic Methods in Computer Science;2022