lambda calculus
lambda calculus是什么意思、lambda calculus怎么读
读音：[ˈlæmdə ˈkælkjələs]
[ˈlæmdə ˈkælkjələs]
lambda calculus 基本解释
演算；微积分
重点词汇
lambda calculus 双语例句
- 1、
Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.
它被称为lambda演算，用于研究函数定义与应用程序以及递归概念。 - 2、
The work from lambda calculus was used to develop functional programming languages, such as Lisp and Scheme.
lambda演算用于开发函数编程语言，例如Lisp和Scheme。 - 3、
The construction of a model of the lambda calculus system with algebraic operators
具有代数算子的λ演算系统的模型构造 - 4、
The main work included: The classical lambda calculus was modified to describe the character of dynamic fuzzy;
主要内容包括：变形传统的λ演算，以更好地描述具有动态模糊性的问题； - 5、
In this paper, a typed abstract language called LAMBDA-like is defined. Using it as the model, a transformation technique from the functional abstract language based on λ-calculus to a imperative language caled PASCAL-like is presented.
本文定义一类型化的抽象语言like-LAMBDA，并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术。 - 6、
lambda calculus with Type
带类型λ-演算 - 7、
Self-Applicable Partial Evaluation for the lambda calculus of Objects
对象式Lambda演算的自作用部分计值 - 8、
The database manipulation and definition are based on the evaluation of lambda calculus.
数据库的定义、操作、查询都基于Lambda表达式和计算。