Publications
| Authors: | Mario Coppo |
| Paola Giannini | |
| Title: | Principal Types and Unification For a Simple Intersection Type System |
| Published on: | Information and Computation 122 |
| Pages: | 70--96 |
| Year: | 1995 |
| Tipo Pubblicazione: | Paper on International Journal |
Thursday, 6 November 2025