哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- Hunan Qiju Opera Performing Arts Co., Ltd.
- Hunan Repertory Theatre
- Hunan Science and Technology Museum
- Hunan Sheng
- Hunan silk-string singing
- Hunan-Style Embroidered Hibiscus and Egret Scroll
- Hunan Taoyuandong Guojiaji Ziran Baohuqu
- Hunan Theatre
- Hunan Tongdao Pingtan Fengyu bridge group repair project
- Hunan TV Phenomenon
- Hunan University
- Hunan University Library
- Hunan University of Chinese Medicine
- Hunan Valin Steel Co., Ltd.
- Hunan vernacular dwelling
- Hunan water conservancy
- Hunan Wuyunjie Guojiaji Ziran Baohuqu
- Hunan Xiangjiang Xinqu
- Hunan Xiangxi Chengjie Chanye Zhuanyi Shifanqu
- Hunan Xiaoxi Guojiaji Ziran Baohuqu
- Hunan Xuefeng Hu Guojia Shidi Gongyuan
- Hunan Yangming Shan Guojia Senlin Gongyuan
- Hunan Yangxi opera
- HunanYugu ballad
- Hunan Yunyang Guojia Senlin Gongyuan