Italiano (Italian) English (Inglese)
Wednesday, 24 July 2024

Publications

Back
Pubblication Details
Authors:Mariangiola Dezani-Ciancaglini
Paola Giannini
Simona Ronchi Della Rocca
Title:Intersection, Universally Quantified, and Reference Types
Published on:CSL'09 5771
Pages:209--224
Publisher:Springer
Year:2009
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~dezani/papers/dgr.pdf