«
[ Back to Home ] »
<< Return to
Computer Dictionary Home
.
Computer
Dictionary Online
A to Z Computer
Terms Dictionary, Definitions Search
|
0-9 |
A
|
B |
C
|
D
|
E |
F
|
G
|
H
|
I |
J
|
K
|
L
|
M
|
N
|
O
|
P
|
Q |
|
R
|
S
|
T |
U
|
V
|
W
|
X
|
Y |
Z
|
alpha conversion definition
<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)
Nearby terms:
Alpha AXP 21164 « alpha/beta pruning « alphabetic language « alpha conversion » Alpha EV6 » Alpha Geek » alphanumeric
computer dictionary,
computer terms dictionary, online computer dictionary,
computer definition dictionary online, microsoft
computer dictionary fifth edition, computer lingo
dictionary, computer terminology dictionary, computer
computer dictionary dictionary internet internet
terms terms, barrons business computer dictionary
dictionary internet terms, abbreviation computer
dictionary lingo, computer dictionary edition new
tenth websters world, computer dictionary with terms
and definition, computer science dictionary, american
computer dictionary house language random sign websters,
dictionary computer internet terms, microsoft computer
dictionary, computing dictionary
[
Home
] [
Law Dictionary
] [
Medical Dictionary
] [
Computer Dictionary
]
Advertisers :
www.hobbyprojects.com ,
www.sciencelobby.com ,
www.hotgamecheater.com ,
www.indianfoodrecipes.net ,
www.joyeemukherjee.com ,
www.beautytipsforwomen.net
Best Online Dictionary
.com