英语词汇“theory of class”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	theory of class
释义	theory of class 基本例句类型论 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.相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
随便看	We had to strip the old paint from the doors we had to suspend such practice We had to take preventive measures We had to terminate our mount of the summit We had to trim a lot off our travel budget We had to use force to get into the house We had to wait interminably We had trouble not laughing at his lisp We had turkey with all the trimmings We had veal for dinner We had very good weather with light brisk winds We hae ade a ery gd ar in r bine ih Japan We hail from all corners of the country We hall neer hae friend if e epe find he ih fal We hammered a team We hammered it flat We hammered the other team We hammered the visiting team We hand an order for: 100 bale We hand an order for: 100 bales We hand an order for: 100 bale,sheep skin We hand an order for: 100 bale, sheep skin We hand an order for: 100 bales,sheep skin We handcraft all our paper We hanged Bruce in chains for a show