Extensionality and predicativity in Type Theory

CONTENTE, Michele
2023

30-nov-2023
Inglese
PIAZZA, Mario
Scuola Normale Superiore
281
Esperti anonimi
File in questo prodotto:
File Dimensione Formato  
Contente_Tesi_def.pdf

embargo fino al 29/11/2024

Dimensione 1.28 MB
Formato Adobe PDF
1.28 MB Adobe PDF

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/123672
Il codice NBN di questa tesi è URN:NBN:IT:SNS-123672