Sfoglia per Autore SABELLI, PIETRO
Mostrati risultati da 1 a 2 di 2
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
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 2 di 2
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