Translation of "lambda calculus" into Greek
Λογισμός λάμδα is the translation of "lambda calculus" into Greek.
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 Greek
-
Glosbe Translate
-
Google Translate
Phrases similar to "lambda calculus" with translations into Greek
-
Λ-λογισμός με απλούς τύπους
-
Λ-λογισμός με τύπους
Add example
Add