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

单词	类型论
释义	类型论 Encyclopedia 哲学逻辑释 type theory类型论由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。 Mathematics theory of types类型论 type theory类型论 Computer 理论计算机科学程序理论释文 type theory类型论
随便看	极大超定算子极大超曲面极大连通子图极大连通子群极大迷向的极大遍历定理极大道路连通子空间极大链极大长度极大阿贝尔扩张极大陆性冰川极大除子极大随机塞紧的极大集极大项极大风险极大风险模型极大风险模式极大黎曼面极奇异性极客极富金属星极对应极对数的极对演的

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