• lambda abstraction
• lambda abstractions

lambda abstraction (suomeksi)

Määritelmät:

• (label, en, computing theory) A lambda term of the form $(\backslash lambda\; 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 $\backslash lambda\; x.$ prefix. It is meant to represent an anonymous function.