共 50 条
- [1] Higher-Order Patterns in Replicated Data Types [J]. PAPOC '19: PROCEEDINGS OF THE 6TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, 2019,
- [3] Axiomatic criteria for quotients and subobjects for higher-order data types [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 903 - 917
- [5] Higher-order superposition for dependent types [J]. REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 123 - 137
- [7] Higher-order algebra with transfinite types [J]. HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 238 - 263
- [9] ON THE REPRESENTATION OF DATA-TYPES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 419 - 431