Pedro Ângelo, Mário Florido: A Typed Lambda Calculus with Gradual Intersection Types. PPDP 2022: 9:1-9:13