Dictionaries › English

lambda abstraction

The English word “lambda abstraction” has 1 meaning listed here.

noun

  1. 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.
Keep exploring: in the interactive dictionary every word of a definition is a link. Open “lambda abstraction” there

More English words

About this dictionary

The English dictionary on Glottosphere has 650,529 entries with a page. Browse the English dictionary.

Definitions are from Wiktionary, extracted by Kaikki.org, and are available under the CC BY-SA 4.0 licence.