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

单词	类型论
释义	类型论 Encyclopedia 哲学逻辑释 type theory类型论由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。 Mathematics theory of types类型论 type theory类型论 Computer 理论计算机科学程序理论释文 type theory类型论
随便看	Beer Industry Handbook Beer Lambert law Beer-Lambert law Beer law Beers criterion Beer's law Beers标准 Beer’s Law, Bouguer’s Law bees bee sting bees wax beeswax beet armyworm beet black scorch disease Beethoven and the Construction of Genius: Musical Politics in Vienna,1792-1803 Beethoven region Beethoven，Ludwig van beetle problem beet mosaic virus disease beet necrotic yellow vein virus disease beet phoma leaf spot beet powdery mildew beet red beet soil-borne virus disease beet sugar manufacture

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