共 50 条
- [33] Higher-order π-calculus with the mismatch operator Ruan Jian Xue Bao/Journal of Software, 2014, 25 (11): : 2433 - 2451
- [39] A higher order Bayesian decision theory of consciousness MODELS OF BRAIN AND MIND: PHYSICAL, COMPUTATIONAL AND PSYCHOLOGICAL APPROACHES, 2008, 168 : 35 - 48