Posetal Diagrams for Logically-Structured Semistrict Higher Categories. - Chiara Sarti; Jamie Vicary (ACT, 2023)

homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. - Nathan Corbyn; Lukas Heidemann; Nick Hu; Chiara Sarti; Calin Tataru; Jamie Vicary (FSCD, 2024)

CaTT contexts are finite computads. - Thibaut Benjamin; Ioannis Markakis; Chiara Sarti (CoRR, 2024)

Naturality for higher-dimensional path types. - Thibaut Benjamin; Ioannis Markakis; Wilfred Offord; Chiara Sarti; Jamie Vicary (CoRR, 2025)

Higher Eckmann-Hilton Arguments in Type Theory. - Thibaut Benjamin; Ioannis Markakis; Wilfred Offord; Chiara Sarti; Jamie Vicary (CoRR, 2025)