Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca. Intersection, Universally Quantified, and Reference Types. In Erich Grädel, Reinhard Kahle, editors, Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Volume 5771 of Lecture Notes in Computer Science, pages 209-224, Springer, 2009. [doi]
Abstract is missing.