理学 类型理论 释 type theory 类型理论 数理逻辑的一个分支。 哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- river flood disaster
- river flood forecasting
- river flood routing calculation
- river floods in China
- river flow estimation
- River God
- river governing traverse planning
- river gradient
- rivergradient observation slope observation
- river head
- River Huan and Wuxie Scenic and Historic Area
- river hydrology
- river improvement survey
- riverine landscape
- river-lake relation
- river-lake relationship
- river-lake system connectivity
- river landform
- river landscape
- River La Plata Region People’s Fight of Resistance against Britain
- river loaches
- river longitudinal profile
- river magistrate
- river management
- river-marine vessel