Translation of "lambda calculus" into Russian
лямбда-исчисление, Лямбда-исчисление are the top translations of "lambda calculus" into Russian.
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. [..]
-
лямбда-исчисление
noun neuteralgebraic system
-
Лямбда-исчисление
formal system in mathematical logic
-
Show algorithmically generated translations
Automatic translations of "lambda calculus" into Russian
-
Glosbe Translate
-
Google Translate
Phrases similar to "lambda calculus" with translations into Russian
-
Просто типизированное лямбда-исчисление
-
Типизированное лямбда-исчисление
Add example
Add