有类型lambda演算的英文

• typed lambda calculus

• 有    5年 fifteen years
• 类型    type; mold; form; cut
• lambda    n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕 ...
• 演算    perform mathematical calcula ...
• 有类型 lambda 演算    typed lambda calculus
• 无类型 lambda 演算    lambda calculus
• 无类型lambda演算    lambda calculus
• 简单类型 lambda 演算    simply typed lambda calculus
• 简单类型lambda演算    simply typed lambda calculus
• lambda 演算    lambda calculus
• lambda演算    lambda calculus
• 固有类型    own type
• 私有类型    private type
• 所有类型    all types
• 稀有类型    infrequent types
• 有类型名    typeful name
• 除了面的所有类型    all but faces
• 局部或固有类型    local or own type
• 附有类型代码的分时    type-code time-sharing
• lambda    n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕。 2.微升〔百万分之一升〕。 3.λ粒子( ＝ lambda particle)。
• 在类型区段只允许有类或对象类型    class or object types only allowed in type section
• 演算    perform mathematical calculations; calculation; calculus◇演算器 exerciser
• 稀有类    uncommon genus
• bacteriophage lambda    λ噬菌体
• lambda (λ)    微升