- λ演算
- lambda calculus: lambda可定义函数; Λ-递归函数; Λ演算; λ演算; 无类型 lambda 演算; 无类型lambda演算; 演算
- normalization property (lambda-calculus): 规范化性质
- simply typed lambda calculus: 简单类型 lambda 演算; 简单类型lambda演算
- typed lambda calculus: 有类型 lambda 演算; 有类型lambda演算
- lambda: n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕。 2.微升〔百万分之一升〕。 3.λ粒子( ＝ lambda particle)。
下载手机词典可随时随地查词查翻译