theory bases理论基础theoryn.学说；理论；原理；意见Theory of Functions and Analysis函数和分析理论theory of radical interpretation彻底的解释理论theory of intelligence structure智力结构理论theory of functional translation功能翻译理论theory of absolute reaction rate绝对反应速度论theory of profit upon alienation利润让渡论theory of machines and mechanism机械原理课程theory of psychological distance心理距离说theory of rationality in desires理存于欲说theory of science and technology科教理论

1. In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning.
   相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。