Pubblicazioni
| Autori: | Mariangiola Dezani-Ciancaglini |
| Paola Giannini | |
| Simona Ronchi Della Rocca | |
| Titolo: | Intersection, Universally Quantified, and Reference Types |
| Apparso su: | CSL'09 5771 |
| Pagine: | 209--224 |
| Editore: | Springer |
| Anno: | 2009 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.di.unito.it/~dezani/papers/dgr.pdf |