Extensionality and predicativity in Type Theory

Contente, Michele

doi:10.25429/contente-michele_phd2023-11-30

Extensionality and predicativity in Type Theory / Contente, Michele; relatore: PIAZZA, Mario; Scuola Normale Superiore, ciclo 34, 30-Nov-2023.

Extensionality and predicativity in Type Theory

CONTENTE, Michele

2023

Scheda breve

Scheda completa

Scheda completa (DC)

	Data di discussione
	
				30-nov-2023
			
	Settore Scientifico Disciplinare della tesi (validi fino a 24/06/2024)
	
				Settore M-FIL/02 - Logica e Filosofia della Scienza
			
	Corso PhD
	
				Filosofia
			
	Ciclo
	
				34
			
	DOI
	
				https://dx.doi.org/10.25429/contente-michele_phd2023-11-30
			
	Editore
	
				Scuola Normale Superiore
			
	Relatore/i interno/i
	
				PIAZZA, Mario
			
	Appare nelle tipologie:
	
				9.1 Tesi PhD

File in questo prodotto:

File	Dimensione	Formato
Contente_Tesi_def.pdf embargo fino al 29/11/2024 Tipologia: Tesi PhD Licenza: Solo Lettura Dimensione 1.28 MB Formato Adobe PDF Richiedi una copia	1.28 MB	Adobe PDF	Richiedi una copia