Simona Ronchi Della Rocca: Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper). TYPES 2016: 2:1-2:7