Translation of "lambda calculus" into Korean

람다 대수 is the translation of "lambda calculus" into Korean.

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. [..]

+ Add

English-Korean dictionary

  • 람다 대수

    formal system in mathematical logic

  • Show algorithmically generated translations

Automatic translations of "lambda calculus" into Korean

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "lambda calculus" into Korean in sentences, translation memory