type-theory
n. 类型论
[网络] 类型理论；型态理论；类理论
热门查询
- bedford n. 贝德福德（英格兰一郡及该郡之首府）；贝德福德（美国俄亥俄州城市）；贝德福德（男子名）
- cumbrous adj. 讨厌的，成负担的，累赘的
- calculated v. 计算；估计；打算（calculate的过去式和过去分词） adj. 计算出的；适合的；有计划的
- Lully ,Raymond[re`mJN]卢利(即Lull,Ramón)
- crimped adj. 有波纹的；起皱褶的
- unquestioning adj. 不提出疑问的；不犹豫的；盲目的；无异议的；无条件的
- Dahrendorf n. (Dahrendorf)人名；(德)达伦多夫
- demeaning adj. 降低身份的；有损人格的 v. 有损…的人格（demean的ing形式）
- nipping adj. 锋利的；刺骨的；尖酸刻薄的 v. 夹紧；阻止…的成长；造成冻伤（nip的ing形式）
- freeload vi. 吃白食；不劳而获；一种离线浏览主页的工具软件
- Hagar n. [基督教]夏甲
- looped adj. 成圈的；酩酊大醉的 v. 成圈；打环（loop的过去式和过去分词）
- microalbuminuria [医]微白蛋白尿
- girlie n. 少女 adj. 色情的
- fuse n. 保险丝，熔线；导火线，雷管 vt. 使融合；使熔化，使熔融 vi. 融合；熔化，熔融 n. (Fuse)人名；(意)富塞；(法)菲斯
- centerfield [地名] [美国] 森特菲尔德
- somnolence n. 困倦；想睡；嗜眠症
- nuclei n. 核心，核子；原子核（nucleus的复数形式）
- lure n. 诱惑；饵；诱惑物 vt. 诱惑；引诱 n. (Lure)人名；(英)卢尔
- enshrine vt. 铭记，珍藏；把…置于神龛内；把…奉为神圣
