TY  - RPRT
TI  - Linearising Explicit Substitutions using Intersection Types
AU  - Ana Jorge Almeida
AU  - Sandra Alves
AU  - Mário Florido
PY  - 2026
DO  - 10.4204/eptcs.449.2
UR  - https://arxiv.org/abs/2607.20179
ID  - 2607.20179
ER  -