Italiano (Italian) English (Inglese)
mercoledì, 30 ottobre 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
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