Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
alpha conversion
Jump to user comments
theory In lambda-calculus and reduction, the renaming of
a formal parameter in a lambda abstraction. This does not
change the meaning of the abstraction. For example: