lambda calculus

About 0.07 uses per million words.

Meaning

1. noun Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.

Similar words

lambda term lambda lambda abstraction lambda expression logical calculus eta conversion combinator church encoding lambda function linear operator