type-theory
n. 类型论
[网络] 类型理论；型态理论；类理论
热门查询
- nourishing adj. 有营养的；滋养多的 v. 滋养；养育（nourish的ing形式）
- achiever n. 获得成功的人
- Gupta n. (Gupta)人名；(德、意、印、孟、尼)古普塔 笈多
- sainthood n. 圣徒；圣徒地位
- caseload n. 待处理案件之数量
- fretboard 指板
- olfaction n. 嗅觉
- mush n. 感伤的话；浓粥；软块；胆怯 vi. 带狗撬在雪上前进 vt. 粉碎 int. 走！
- affectively adv. 情感地
- hieratic adj. 僧侣用的；僧侣的
- deflator n. 紧缩指数；平减物价指数；扣除通货膨胀因素的价格指数
- clap n. 鼓掌；拍手声 vt. 拍手，鼓掌；轻轻拍打某人 vi. 鼓掌，拍手；啪地关上 n. (Clap)人名；(西、英)克拉普
- mack abbr. 军事空运司令部（Millitary Airlift Command） n. 老弟；老兄（常用作呼唤语）；橡胶雨衣 n. (Mack)人名；(德、意、法)马克；(英)麦克
- ich n. (Ich)人名；(越)益 （德）我要
- hemostatic n. [药] 止血剂 adj. 止血的
- hoarsely adv. 嘶哑地；刺耳地
- pured a. 纯粹的, 不掺杂的；纯净的, 洁净的；无垢的；清洁的
- Osgood [人名] [英格兰人姓氏] 奥斯古德来源于古诺斯语人名，含义是“神”(god)+部族名Gaut; [地名] [美国] 奥斯古德
- superstition n. 迷信
- wizardly adj. 神奇的，奇异的；男巫的；神汉的
考试词汇表
- G (acceleration of gravity)
- G Protein Coupled Receptors
- G protein-coupled receptors
- G(M2) Gangliosidosis,Type I
- G-Protein-Coupled Receptors
- G.F.P.(gas fission product)
- G.gracilens (A.Gray) Makino
- G.tinctoria (DC.) W.F.Wight
- G1 element in glucagon gene
- G2 element in glucagon gene
- G3 element in glucagon gene
- GATT Customs Valuation Code
- GCF (gross capacity factor)
- GDG (generation data group)
- GDP Dissociation Inhibitors
- GDP dissociation stimulator
- GDP mannose 4,6 dehydratase
- GDPfucose pyrophosphorylase
- GDPhexose pyrophosphorylase
- GH dependent growth factors
