the type theory of personality
英
美
the type theory of personality的用法和样例:
例句
- 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.
相反的,在内涵类型论中,类型检查是可判定性的,但是很多数学概念的表达是不标准的,因为缺乏外延推理。
the type theory of personality的相关资料:
临近单词