哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- non-stationary model
- nonstationary oscillation
- nonstationary probability
- nonstationary process
- nonstationary random process
- nonstationary random vibration
- nonstationary state
- nonstationary system
- non-stationary time series
- nonstationary time series
- non-stationary universe
- non-steady flow
- non-steady state
- non-steady state water influx
- non-ST elevation myocardial infarction
- non-stellar object
- nonsteroidal antiinflammatory drugs
- non-steroid anti-inflammatory drug，NSAID
- non-stiff
- non stoichiometric compound
- non-stoichiometric compound
- nonstoichiometric compound
- nonstoichiometric crystal
- nonstoichiometry
- nonstop computing