Chiara Sarti

According to our database¹, Chiara Sarti authored at least 3 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

CaTT contexts are finite computads.

[BibT_eX]

[DOI]

CoRR, 2024

homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Posetal Diagrams for Logically-Structured Semistrict Higher Categories.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023