Pietro Sabelli

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Algebraic Geometry

Theoretical Basis

Top Venues

Publications

Pietro Sabelli
A topological reading of inductive and coinductive definitions in Dependent Type Theory. CoRR (2024)
Maria Emilia Maietti, Pietro Sabelli
A topological counterpart of well-founded trees in dependent type theory. CoRR (2023)
Samuele Maschio, Pietro Sabelli
On the Compatibility Between the Minimalist Foundation and Constructive Set Theory. CiE (2022)