theory of class

 
  • 类型论

theory of class的用法和样例:

例句

  1. 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.
    相反的,在内涵类型论中,类型检查是可判定性的,但是很多数学概念的表达是不标准的,因为缺乏外延推理。
今日热词
目录 附录 查词历史