FUNDAMENTA INFORMATICAE - Special Issue "INTERSECTION TYPES AND RELATED SYSTEMS", Torino, 2008
Intersection Types and Related Systems (ITRS)
PAOLINI, LUCA LUIGI
2012-01-01
Abstract
FUNDAMENTA INFORMATICAE - Special Issue "INTERSECTION TYPES AND RELATED SYSTEMS", Torino, 2008
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
preface - FI 2012.pdf
Accesso aperto
Descrizione: prefazione della curatela
Tipo di file:
PDF EDITORIALE
Dimensione
50.75 kB
Formato
Adobe PDF
|
50.75 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
