哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- Lenglong Ling
- Leng Mei
- Lengmiancao
- Leng Qian
- Lengshuijiang Shi
- Lengshuitan Qu
- length
- length-and-area principle
- length contraction
- length distribution function
- lengthen
- lengthening coefficient
- length functional
- length-limitation of staple fiber
- length-mass-time
- length measurement
- length measuring instrument
- length measuring sensor
- length modulation
- length of a curve
- length of a line segment
- length of an interval
- length of a queue
- length of arc
- length of a segment