typed lambda calculus有: 5年 fifteen years类型: type; mold; form; cutlambda: n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕 ...演算: perform mathematical calcula ...有类型 lambda 演算: typed lambda calculus下载手机词典可随时随地查词查翻译