Explicit renaming of bound variables

Details Explicit renaming of bound variables Explicit renaming of bound variables

2011-11-14

arxiv.org/abs/1111.3171v4

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Explicit renaming of bound variables does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Explicit renaming of bound variables, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Explicit renaming of bound variables will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-217939