Pubblicazioni
| 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 |
- UPO
- | DiSIT
- | Mappa del Sito