理学 类型理论 释 type theory 类型理论 数理逻辑的一个分支。 哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- magnetic inversion line
- magnetic island
- [magnetic] isoclinic line
- magnetic isoclinic line
- [magnetic] isoclinic line, isocline
- magnetic isoclinic line, isocline
- magnetic isotope effect
- magnetic knot
- magnetic lattice
- magnetic layer
- magneticlcellsorting
- magnetic leakage
- magnetic length
- magnetic lens
- magnetic levitation
- magnetic levitation, maglev, magnetic suspension
- magnetic levitation motor
- magnetic levitation train
- magnetic levitation vehicle
- magnetic line
- magnetic linear dichroism
- magnetic line of force
- magnetic linkage
- magnetic liposome
- magnetic liposomes