Italiano (Italian) English (Inglese)
mercoledì, 24 luglio 2024

Pubblicazioni

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