Translation of "typed lambda calculus" into Russian

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

typed lambda calculus
+ Add

English-Russian dictionary

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

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

  • Show algorithmically generated translations

Automatic translations of "typed lambda calculus" into Russian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similar to "typed lambda calculus" with translations into Russian

Add

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