共 50 条
- [2] Higher-order algebra with transfinite types HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 238 - 263
- [3] Universal algebra for termination of higher-order rewriting TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 135 - 149
- [4] An Algebra Model for the Higher-Order Sum Rules Constructive Approximation, 2018, 48 : 453 - 471
- [9] Local Higher-Order Fixpoint Iteration ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (326): : 97 - 113
- [10] Formalization of geometric algebra theories in higher-order logic Shi, Zhi-Ping (zhizp@cnu.edu.cn), 1600, Chinese Academy of Sciences (27): : 497 - 516