typed lambda calculus有: 5年 fifteen years類型: type; mold; form; cutlambda: n. 1.希臘語(yǔ)第十一個(gè)字母〔Λ,λ 與英語(yǔ)字母L相當(dāng)〕 ...演算: perform mathematical calcula ...有類型 lambda 演算: typed lambda calculus下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
