3 papers
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…
math.LO2011
Explicit renaming of bound variables
George Cherevichenko
We present some lambda calculus with explicit substitutions and named variables. The characteristic feature of this calculus is as follows: renaming of bound variables when perform…