Intersection Types from a Proof-theoretic Perspective. - Pimentel, Elaine; Ronchi Della Rocca, Simona; Roversi, Luca (Fundamenta Informaticae, 2012)