将“typed lambda calculus"翻译成中文

有类型λ演算是将“typed lambda calculus"翻译成 中文。

typed lambda calculus
+ 加

英文-中文字典

  • 有类型λ演算

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

  • 显示算法生成的翻译

将“ typed lambda calculus "自动翻译成 中文

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

类似于 "typed lambda calculus" 的短语，可翻译成 中文

加

在上下文、翻译记忆库中将“typed lambda calculus"翻译成 中文