The computational core: reduction theory and intersection type discipline(2022 Oct 07).
The computational core: reduction theory and intersection type discipline
TREGLIA, RICCARDO
2022-10-07
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Tesi-Treglia.pdf
Accesso aperto
Descrizione: Tesi
Dimensione
1.96 MB
Formato
Adobe PDF
|
1.96 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
