共 50 条
- [33] Higher-order superposition for dependent types REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 123 - 137
- [36] HIGHER-ORDER DATA-TYPES INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1980, 9 (01): : 31 - 53
- [37] Higher-order algebra with transfinite types HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 238 - 263
- [38] Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), 2017, 10483 : 3 - 21