New definitions of contexts and free variables for lambda-calculi with explicit substitutions - George Cherevichenko (CoRR, 2013)

Alpha-conversion for lambda terms with explicit weakenings. - George Cherevichenko (CoRR, 2018)