%0 Journal Article
%T Explicit renaming of bound variables
%A George Cherevichenko
%J Mathematics
%D 2011
%I arXiv
%X 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 performing substitutions is done using special reductions and may be delayed.
%U http://arxiv.org/abs/1111.3171v5