Sfoglia per Autore SABELLI, PIETRO
Mostrati risultati da 1 a 3 di 3
Equiconsistency of the Minimalist Foundation with its classical version
In corso di stampa Maietti, Maria Emilia; 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 | - | - |
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 |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile