Pedro Jorge Fernandes Ângelo: Gradual Intersection Types. University of Porto, Portugal 2024