Swapping: a natural bridge between named and indexed explicit substitution calculi - Ariel Mendelzon; Alejandro Ríos 001; Beta Ziliani (HOR, 2010)