共 50 条
- [31] A higher-order logic programming language with constraints FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
- [33] SOME FIELD THEORETICAL ASPECTS UNDERLYING THEORY OF HIGHER-ORDER SPACES LETTERE AL NUOVO CIMENTO, 1977, 20 (15): : 559 - 562
- [37] Higher-order radiative perturbation theory JOURNAL OF QUANTITATIVE SPECTROSCOPY & RADIATIVE TRANSFER, 2004, 84 (01): : 105 - 114