共 42 条
- [1] Code Generation via Higher-Order Rewrite Systems FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 103 - 117
- [2] Session-Based Communication Optimisation for Higher-Order Mobile Processes TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 203 - 218
- [8] Blind recognition of the orthogonal space-time block code based on higher-order cumulants Dianbo Kexue Xuebao/Chinese Journal of Radio Science, 2014, 29 (03): : 521 - 527