Le collezioni nella teoria dei tipi intensionale MF (Minimalist Foundation) dotate di uguaglianza decidibile soddisfano l'unicità delle prove di identità.
Hedberg's theorem in the minimalist foundation
Borsetto, Riccardo
2019/2020
Abstract
Le collezioni nella teoria dei tipi intensionale MF (Minimalist Foundation) dotate di uguaglianza decidibile soddisfano l'unicità delle prove di identità.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
tesi_BorsettoDef.pdf
accesso aperto
Dimensione
432.62 kB
Formato
Adobe PDF
|
432.62 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/27428