Chiara Sarti

Orcid: 0000-0002-4935-9466

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

Higher Eckmann-Hilton Arguments in Type Theory.

[BibT_eX]

[DOI]

CoRR, January, 2025

Naturality for higher-dimensional path types.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

CaTT contexts are finite computads.

[BibT_eX]

[DOI]

Thibaut Benjamin

Ioannis Markakis

Chiara Sarti

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 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]

Chiara Sarti

Jamie Vicary

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

Chiara Sarti

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...