共 50 条
- [44] CIC∧:: Type-based termination of recursive definitions in the calculus of inductive constructions [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 257 - 271
- [45] Higher Topological Complexity of Artin Type Groups [J]. CONFIGURATION SPACES: GEOMETRY, TOPOLOGY AND REPRESENTATION THEORY, 2016, 14 : 119 - 128
- [46] Type classes with more higher-order polymorphism [J]. ACM SIGPLAN NOTICES, 2002, 37 (09) : 179 - 190