VariousWords beta

Look up related words, definitions and more.

(examples: cat , ball , various , more... or by topic )
Results for:

Alpha conversion

Related Terms:

Noun

Definition: One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term gets replaced by another variable across its entire scope. So if there is a lambda term of the form (𝜆x.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (𝜆y.t[y/x]) where t[y/x], "t with y in stead of x", has had all free instances of x in t replaced with y.

We hope you enjoyed looking up some related words and definitions. We use various open machine learning and human sources to provide a more coherent reference that pure AI can provide. Although there are similar sites out there, they are filled with nonsense and gibberish due to their pure machine learning approach. Our dataset is in part derived from ConceptNet and WordNet with our own sprinkle of magic. We're always working on improving the data and adding more sources. Thanks for checking us out!