Translation of "typed lambda calculus" into Chinese

有类型λ演算 is the translation of "typed lambda calculus" into Chinese.

typed lambda calculus
+ Add

English-Chinese dictionary

  • 有类型λ演算

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

  • Show algorithmically generated translations

Automatic translations of "typed lambda calculus" into Chinese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

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

Add

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