Pietro Sabelli

According to our database1, Pietro Sabelli authored at least 3 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A topological reading of inductive and coinductive definitions in Dependent Type Theory.
CoRR, 2024

2023
A topological counterpart of well-founded trees in dependent type theory.
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.
Proceedings of the Revolutions and Revelations in Computability, 2022


  Loading...