逻辑类型理论 in Chinese - 逻辑类型理论 Chinese translation - 逻辑类型理论 meaning in Chinese - translation-dictionary.net English Chinese dictionary