哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- synchrocyclotron radiation
- synchro error
- synchromesh
- synchronal rotary compressor
- synchrone
- synchroneity
- synchronic communication
- synchronic dictionary
- synchronic distance
- synchronicity
- Synchronic Semantics
- synchronism
- synchronization
- synchronization between sound and image
- synchronization error-correction code
- synchronization mechanism
- synchronization of clocks
- synchronization of terminals
- synchronization of turbogenerator
- synchronization of video and audio systems
- synchronization overhead
- synchronization primitive
- synchronization satellite
- synchronization segment
- synchronization segment, SYN