Italiano (Italian) English (Inglese)
mercoledì, 24 luglio 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Mario Coppo
Paola Giannini
Titolo:Principal Types and Unification For a Simple Intersection Type System
Apparso su:Information and Computation 122
Pagine:70--96
Anno:1995
Tipo Pubblicazione:Paper on International Journal