English translation for "逻辑类型理论"

theory of logical types

Related Translations:

类型:  type; mold; form; cut◇类型论 theory of types; 类型语句 [计算机] type statements

逻辑类型:  logical typetype theory

Similar Words：

"逻辑框架" English translation, "逻辑框架分析和目标导向项目规划法" English translation, "逻辑框图" English translation, "逻辑框图代换" English translation, "逻辑类型" English translation, "逻辑理论" English translation, "逻辑理论机" English translation, "逻辑理论家" English translation, "逻辑联编" English translation, "逻辑联接" English translation