SABELLI, PIETRO
SABELLI, PIETRO
Università di Padova
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
Equiconsistency of the Minimalist Foundation with its classical version
In corso di stampa Maietti, Maria Emilia; Sabelli, Pietro
Around the Minimalist Foundation: (Co)Induction and Equiconsistency
2024 Sabelli, Pietro
A topological counterpart of well-founded trees in dependent type theory
2023 Maietti, MARIA EMILIA; Sabelli, Pietro
On the Compatibility Between the Minimalist Foundation and Constructive Set Theory
2022 Maschio, Samuele; Sabelli, Pietro
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| Equiconsistency of the Minimalist Foundation with its classical version | In corso di stampa | Maietti, Maria EmiliaSabelli, Pietro | ANNALS OF PURE AND APPLIED LOGIC | - | - |
| Around the Minimalist Foundation: (Co)Induction and Equiconsistency | 2024 | SABELLI, PIETRO | - | - | - |
| A topological counterpart of well-founded trees in dependent type theory | 2023 | Maria Emilia MaiettiPietro Sabelli | - | Electronic Notes in Theoretical Informatics and Computer Science | A Topological Counterpart of Well-founded Trees in Dependent Type Theory |
| On the Compatibility Between the Minimalist Foundation and Constructive Set Theory | 2022 | Maschio SamueleSabelli Pietro | - | LECTURE NOTES IN COMPUTER SCIENCE | CiE 2022: Revolutions and Revelations in Computability |