Pubblicazioni
| Autori: | Ferruccio Damiani |
| Paola Giannini | |
| Titolo: | A Decidable Intersection Type System based on Relevance |
| Apparso su: | TACS'94 |
| Pagine: | 707-725 |
| Editore: | Springer |
| Anno: | 1994 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.di.unito.it/~damiani/papers/tacs94.html |