Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
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:
x . x+1
--
y . y+1
If the
actual argument
to a lambda abstraction contains
instances of the abstraction's formal parameter then it is
necessary to rename the parameter before applying the
abstraction to avoid
name capture
.
(1995-05-10)
Related search result for
"alpha conversion"
Words contain
"alpha conversion"
in its definition in
Computing (FOLDOC) dictionary:
reduction
ALPHA
Alpha
alpha/beta pruning
alpha conversion
implicit type conversion
eta conversion
DEC Alpha
De Bruijn notation
EV6
more...
Comments and discussion on the word
"alpha conversion"