共 50 条
- [35] A Generic Type System for Higher-Order ?-calculi ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (368): : 43 - 59
- [38] OSCILLATIONS OF A SYSTEM OF COUPLED OSCILLATORS WITH ONE THIRD-ORDER RESONANCE JOURNAL OF APPLIED MATHEMATICS AND MECHANICS-USSR, 1971, 35 (06): : 1038 - +