理学 类型理论 释 type theory 类型理论 数理逻辑的一个分支。 哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- ancient construction technology
- ancient cutting technology
- ancient cypress group in Qufu
- ancient cypress in Guang'an City
- Ancient Cypress in Stalagmite Mountain, Qionglai
- ancient dam of the Yellow River
- ancient dance words
- Ancient Delhi
- ancient DNA study
- ancient dramatic stage in Ladong Village, Liping County
- ancient drilling in China
- ancient eclipse observations in China
- ancient Egypt
- ancient Egyptian architecture
- ancient Egyptian costume
- Ancient Egyptian gardens
- Ancient Egyptian gold craft
- Ancient Egyptian Hieroglyphic
- ancient Egyptian law
- Ancient Egyptian tomb painting
- Ancient Egyptian tomb relief
- Ancient Emperors
- ancient ethnic migration
- ancient farming system
- ancient farming techniques