Word:

alpha conversion

(theory)alpha conversion - 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.
Browse
Alpaca
ALPAK
Alpen
Alpena
Alpenglow
Alpenhorn
Alpenstock
Alpestrine
Alpha
alpha and omega
Alpha AXP 21164
alpha blocker
alpha brass
alpha bronze
alpha cell
Alpha Centauri
-- alpha conversion --
Alpha Crucis
alpha decay
Alpha EV6
alpha fetoprotein
alpha foetoprotein
Alpha Geek
Alpha Geminorum
alpha globulin
alpha iron
alpha methyl dopa
Alpha Orionis
Alpha paper
alpha particle
alpha privative
alpha radiation
alpha ray
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home