Intersection, Universally Quantified, and Reference Types.

Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca

Browse the full CSL paper archive.