<span class="searchmatch">lambda</span> <span class="searchmatch">račun</span> m (Cyrillic spelling ламбда рачун) <span class="searchmatch">lambda</span> calculus...
bill, invoice, check <span class="searchmatch">Račun</span>, molim. ― The check, please. account bankovni <span class="searchmatch">račun</span> ― bank account ȉzračūn <span class="searchmatch">lȁmbda</span> <span class="searchmatch">ràčūn</span> predìkātnī <span class="searchmatch">ràčūn</span> prȅdračūn prȍračūn račùnāljka...
Wikipedia has an article on: <span class="searchmatch">lambda</span> calculus Wikipedia Coined by Alonzo Church after the use of the Greek letter <span class="searchmatch">lambda</span> (λ) as the basic abstraction operator...
in which symbolic expressions are manipulated according to fixed rules. <span class="searchmatch">lambda</span> calculus predicate calculus (uncountable, often definite, the calculus)...