Linearising Explicit Substitutions using Intersection Types

Ana Jorge Almeida, Sandra Alves, Mário Florido

Term expansion was originally introduced in 2004 as a way to relate terms typed in an intersection type system with linear terms. Recently, new applications of term expansion inclu…