共 50 条
- [31] Behavioural equivalence and indistinguishability in higher-order typed languages RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 284 - 298
- [34] LARGE-NC HIGHER-ORDER CHIRAL LAGRANGIAN FOR NONLEPTONIC WEAK-INTERACTIONS PHYSICAL REVIEW D, 1990, 42 (11): : 3850 - 3854
- [35] New Higher-Order Generalized Uncertainty Principle: Applications International Journal of Theoretical Physics, 2021, 60 : 2790 - 2803