Translation of "lambda calculus" into Portuguese
cálculo lambda is the translation of "lambda calculus" into Portuguese.
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. [..]
-
cálculo lambda
formal system in mathematical logic
-
Show algorithmically generated translations
Automatic translations of "lambda calculus" into Portuguese
-
Glosbe Translate -
Google Translate
Phrases similar to "lambda calculus" with translations into Portuguese
-
Cálculo lambda simplesmente tipado
Add example
Add