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