Translation of "lambda calculus" into Hebrew
תחשיב למדא is the translation of "lambda calculus" into Hebrew.
lambda calculus
noun
grammar
(computing theory) 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. [..]
-
תחשיב למדא
formal system in mathematical logic
-
Show algorithmically generated translations
Automatic translations of "lambda calculus" into Hebrew
-
Glosbe Translate
Add example
Add