Wikipedia has an article on: <span class="searchmatch">Lambda</span> calculus Wikipedia <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span> (plural <span class="searchmatch">lambda</span> <span class="searchmatch">expressions</span>) An algebraic <span class="searchmatch">expression</span> representing a function by...
<span class="searchmatch">lambda</span> <span class="searchmatch">expressions</span> plural of <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span>...
expresie <span class="searchmatch">lambda</span> f (plural expresii <span class="searchmatch">lambda</span>) <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span>...
<span class="searchmatch">lambda</span> izraz m (Cyrillic spelling ламбда израз) <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span>...
forms: (1) a variable by itself, (2) a <span class="searchmatch">lambda</span> abstraction, (3) an application of one <span class="searchmatch">lambda</span> term to another one. <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span> <span class="searchmatch">lambda</span> abstraction...
algebraic systems in which <span class="searchmatch">lambda</span> <span class="searchmatch">expressions</span> are evaluated according to a fixed set of rules to produce values, which may themselves be <span class="searchmatch">lambda</span> <span class="searchmatch">expressions</span>)...
reduction eta conversion <span class="searchmatch">lambda</span> term simply typed <span class="searchmatch">lambda</span> calculus typed <span class="searchmatch">lambda</span> calculus calculus <span class="searchmatch">lambda</span> <span class="searchmatch">lambda</span> abstraction <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span> algebraic system...
kilolambda <span class="searchmatch">lambda</span> abstraction <span class="searchmatch">lambda</span> calculus lambdacism <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span> <span class="searchmatch">lambda</span> function <span class="searchmatch">lambda</span> hyperon <span class="searchmatch">lambda</span> leak <span class="searchmatch">lambda</span> moth <span class="searchmatch">lambda</span> particle <span class="searchmatch">lambda</span> point...
combinators) (computer science) A <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span> which has no free variables in it. 1991 December 20, Henk P. Barendregt, “<span class="searchmatch">Lambda</span> Calculi With Types”, in ftp...
of <span class="searchmatch">expression</span> arithmetic <span class="searchmatch">expression</span> el <span class="searchmatch">expression</span> immediately-invoked function <span class="searchmatch">expression</span> <span class="searchmatch">lambda</span> <span class="searchmatch">expression</span> linguistic <span class="searchmatch">expression</span> logical <span class="searchmatch">expression</span> regular...