homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Codensity Games for Bisimilarity.
New Gener. Comput., 2022
Traced Monoidal Categories as Algebraic Structures in Prof.
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
Codensity Games for Bisimilarity.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019