Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Alpha-conversion for lambda terms with explicit weakenings
George Cherevichenko
Using explicit weakenings, we can define alpha-conversion by simple equations without any mention of free variables.
cs.LO2013
Is alpha-conversion easy?
George Cherevichenko
We present a new lambda-calculus with explicit substitutions and named variables. Renaming of bound variables in this calculus is explicit (there is a special rewrite rule) and can…