.
.
Matematica costruttiva: dalla crisi fondazionale ad Agda attraverso la teoria dei tipi di Martin-Löf
MARIO, TEO
2025/2026
Abstract
.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Tesi.pdf
accesso aperto
Dimensione
814.69 kB
Formato
Adobe PDF
|
814.69 kB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12608/115709