Translation of "typed lambda calculus" into Japanese

型付きラムダ計算 is the translation of "typed lambda calculus" into Japanese.

typed lambda calculus
+ Add

English-Japanese dictionary

  • 型付きラムダ計算

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

  • Show algorithmically generated translations

Automatic translations of "typed lambda calculus" into Japanese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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