Translation of "typed lambda calculus" into Ukrainian

Типізоване лямбда-числення is the translation of "typed lambda calculus" into Ukrainian.

typed lambda calculus
+ Add

English-Ukrainian dictionary

  • Типізоване лямбда-числення

    typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction

  • Show algorithmically generated translations

Automatic translations of "typed lambda calculus" into Ukrainian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "typed lambda calculus" into Ukrainian in sentences, translation memory