Extensionality and predicativity in Type Theory / Contente, Michele; relatore: PIAZZA, Mario; Scuola Normale Superiore, ciclo 34, 30-Nov-2023.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Contente_Tesi_def.pdf
Open Access dal 30/11/2024
Tipologia:
Tesi PhD
Licenza:
Solo Lettura
Dimensione
1.28 MB
Formato
Adobe PDF
|
1.28 MB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
