Pubblicazioni
| Autori: | Mariangiola Dezani-Ciancaglini |
| Paola Giannini | |
| Elena Zucca | |
| Titolo: | Intersection Types for Unbind and Rebind |
| Apparso su: | ITRS'10 45 |
| Pagine: | 45-59 |
| Anno: | 2010 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.di.unito.it/~dezani/papers/dgz10.pdf |