“type theory”的概念、定义、翻译、参考文献-科学参考

单词	type theory
释义	type theory Encyclopedia 理学类型理论释 type theory类型理论数理逻辑的一个分支。哲学逻辑释 type theory类型论由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。 Mathematics type theory类型论 Computer 理论计算机科学程序理论释文 type theory类型论
随便看	basic sequence basic series basic service area basic service area, BSA basic service set basic service set, BSS basic service set transition mobility basic service set transition mobility, BSS transition mobility basic set basic skills of opera performance Basics Landscape Architecture: Urban Design Basics of Archival Work basics of cognition and behavior Basics of Film Aesthetics Basics of Information Theories basics of management psychology Basics of Press Photography basic solid basic solution basic space basic spline Basic Sports law of Japan Basics rules of the Chinese phonetic alphabet orthography GB/T 16159—2012 basic standard basic standard of disaster relief industry

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