Can any one please help:

Attachment 22313

Printable View

- September 18th 2011, 06:24 PMsureshciscoLambda Conversion (alpha and beta conversion)
Can any one please help:

Attachment 22313

- September 19th 2011, 03:12 AMemakarovRe: Lambda Conversion (alpha and beta conversion)
Alpha-conversion needs to be performed to avoid variable capture. This happens when reducing and the term N has some free variable y that would become bound if N is substituted for x in M because there is a somewhere inside M. To avoid capture of y, in M has to be renamed into some . For example, in problem (a), x would be captured if substituted for y in , so this bound x has to be renamed.

Consider problem (b). I'll omit some parentheses and will write for .

-> (substituting for x)

-> (need to rename y because the argument has y free)

-> (substituting for x)