Matteo Calosci

According to our database, Matteo Calosci authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Displayed Universal Algebra in UniMath: Basic Definitions and Results.

Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

2024

Universal algebra in UniMath.

Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi

Math. Struct. Comput. Sci., 2024