共 50 条
- [5] Higher-order derivative of uncertain process and higher-order uncertain differential equation Fuzzy Optimization and Decision Making, 2024, 23 : 295 - 318
- [7] Coinductive techniques for higher-order languages ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131): : 1 - +