- 1. lambda calculus: 演算
[10] λ演算(lambda calculus)是一仿用于钻研函数订义、函数哄骗以及递归的形式系统,在递归现实以及函数式编程中有灭遍及的运用。
dict.youdao.com - 2. Knights of the Lambda Calculus: 兰姆达算法骑士团
dict.youdao.com - 3. lambda-calculus: 演算
dict.youdao.com - 4. lambda calculus of objects: 对象式lambda演算
dict.youdao.com - 5. lambda a calculus: 演算
dict.youdao.com