Chiara Sarti

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Top Venues

Publications

Thibaut Benjamin, Ioannis Markakis, Chiara Sarti
CaTT contexts are finite computads. CoRR (2024)
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: a proof assistant for finitely-presented globular n-categories. CoRR (2024)
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. FSCD (2024)
Chiara Sarti, Jamie Vicary
Posetal Diagrams for Logically-Structured Semistrict Higher Categories. ACT (2023)