English Explanatory Dictionary

lambda abstraction

English dictionary entry

Meanings

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.

Word forms

lambda abstraction lambda abstractions
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on L Russian dictionary Dahl dictionary