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.
相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
