English translation for "intuitionistic type theory"

归纳类型
直觉类型理论
直觉类型论

Related Translations:

intuitionistic:  直观的直觉的直觉皱的

intuitionistic logic:  构造性逻辑直觉逻辑直觉主义逻辑

intuitionistic fuzzy sets:  模糊集

Similar Words：

"intuitionist" English translation, "intuitionist logic" English translation, "intuitionistic" English translation, "intuitionistic fuzzy sets" English translation, "intuitionistic logic" English translation, "intuitive" English translation, "intuitive activity" English translation, "intuitive approach" English translation, "intuitive concept of number" English translation, "intuitive decision making" English translation