researchers with a paper here
collaborating institutions

1 paper

cs.LO2026

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…