术语 | lambda calculus |
释义 | lambda calculus λ演算,λ计算(法) A conceptual programming language used in evaluating language functions and in the study and notation of programming languages; it does not result in executable code. 一种概念上的程序设计语言,用于评估语言功能和程序设计语言的研究和标注; 它不产生可执行代码。 |
随便看 |
|
计算机英汉双解词典包含21137条计算机术语英汉翻译词条,基本涵盖了全部常用计算机术语的翻译及用法,是计算机学习及翻译工作的有利工具。