lambda-calculus
λ演算
热门查询
- Goodwood n. (英国苏塞克斯郡境内)古德伍德公园附近举行的赛马会
- topiary n. 灌木修剪法 adj. 修剪成装饰形式的；修剪成形的
- visceral adj. 内脏的；出于本能的；发自肺腑的；粗俗的
- tenuous adj. 纤细的；稀薄的；贫乏的
- autocorrelation n. [数] 自相关（作用），[仪] 自动校正
- calloused adj. 变得无情的；变硬的；长了老茧的
- Hoare [人名] [英格兰人姓氏] 霍尔绰号，老头，或少白头，来源于中世纪英语、古英语，含义是“灰色”(grey); [人名] [英格兰人姓氏] 霍尔地貌名称，来源于古英语，含义是“坡，岸”(slope,shore)
- wasting n. 浪费 adj. 浪费的；造成浪费的
- lowermost adj. 最低的；最底下的
- Callahan [人名] 卡拉汉; [地名] [美国] 卡拉汉
- chartist n. 人民宪章运动的一分子
- forebrain n. 前脑
- socializing n. 交往，交际 v. 社交，交际（socialize的现在分词形式）
- protist n. [生物] 原生生物
- inventing v. 发明（invent的现在分词）；创造
- granulocyte n. [组织] 粒细胞；[组织] 粒性白细胞（细胞质中含有颗粒的一类白细胞）
- reasoned v. 说服；推断（reason的过去分词） adj. 详尽论述的；理由充分的；合乎逻辑的
- horsehide n. 马革，马皮；棒球
- Stefano n. 斯特凡诺（意大利名）
- videography n. 电视录像制作；摄像
