Linear Rank Intersection Types. - Fábio Reis; Sandra Alves; Mário Florido (TYPES, 2022)