Contextualizebeta

lambda abstraction

noun

Definitions

  1. A lambda term of the form (λx.t) where x is a variable and t another lambda term. Any…

    A lambda term of the form (λx.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the λx. prefix. It is meant to represent an anonymous function.

The neighborhood

Vish — recursive loop

No curated loop yet for lambda abstraction. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA