Italiano (Italian) English (Inglese)
mercoledì, 29 giugno 2022

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