Swapping: a natural bridge between named and indexed explicit substitution calculi

Ariel Mendelzon, Alejandro Ríos, Beta Ziliani

This article is devoted to the presentation of lambda_rex, an explicit substitution calculus with de Bruijn indexes and a simple notation. By being isomorphic to lambda_ex - a rece…