“类型论”的概念、定义、翻译、参考文献-科学参考

单词	类型论
释义	类型论 Encyclopedia 哲学逻辑释 type theory类型论由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。 Mathematics theory of types类型论 type theory类型论 Computer 理论计算机科学程序理论释文 type theory类型论
随便看	“牵牛星”号登月舱 “特伦特”号事件 “特罗伊卡特隆” “特艺拉玛”宽银幕系统 “特艺色”宽银幕系统 “特艺色”染印法宽银幕系统 “特高频后继”号卫星 “狐猿”号卫星星座 “狗推” “猎户座”号载人飞船 “猎豹”M号卫星 “猎鹰”系列运载火箭 “玉音广播” “环境减灾”1号卫星 “现代突破”运动 “现实的批评” “玻利维亚通信卫星”1号 “珠三角”城市创新群 “理想化”坡莫合金 “琥珀”号卫星 “瑟拉亚”号卫星 “瓦尔迪兹”号事故 “生命”细胞自动机 “生命”细胞自动机对策 “生命形式”编舞软件

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。