Pietro Sabelli

According to our database, Pietro Sabelli authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

A topological counterpart of well-founded trees in dependent type theory.

Maria Emilia Maietti, Pietro Sabelli

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

On the Compatibility Between the Minimalist Foundation and Constructive Set Theory.

Samuele Maschio, Pietro Sabelli

Proceedings of the Revolutions and Revelations in Computability, 2022