Alpha conversion
alpha conversion
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)
Read Also:
- Alpha decay
a radioactive process in which an alpha particle is emitted from the nucleus of an atom, decreasing its atomic number by two. noun the radioactive decay process resulting in emission of alpha particles alpha decay the radioactive decay of an atomic nucleus by emission of an alpha particle (two protons bound to two neutrons). when […]
- Alpha emitter
noun a radioactive isotope that emits alpha particles historical examples one such reaction uses alpha particles emitted by polonium-210 (or some other alpha emitter) to bombard the element beryllium. the atomic fingerprint bernard keisch
- Alpha ev6
alpha ev6 ev6
- Alpha-fetoprotein
a serum produced during pregnancy, useful in the prenatal diagnosis of multiple births or birth defects. abbreviation: afp. noun a protein that forms in the liver of the human fetus. excessive quant-ties in the amniotic fluid and maternal blood may indicate spina bifida in the fetus; low levels may point to down’s syndrome afp alpha-fetoprotein […]
- Alpha fiber
alpha fiber alpha fiber n. any of the large somatic motor or proprioceptive nerve fibers conducting impulses at rates near 100 meters per second.