共 50 条
- [31] Algebraic methods toward higher-order probability inequalities, II [J]. ANNALS OF PROBABILITY, 2004, 32 (02): : 1509 - 1544
- [32] Higher-Order Intentionality and Higher-Order Acquaintance [J]. Philosophical Studies, 2007, 134 : 289 - 324
- [34] Algebraic H∞ design of higher-order iterative learning controllers [J]. 2005 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL & 13TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1 AND 2, 2005, : 1213 - 1218
- [35] Linear-algebraic λ-calculus: Higher-order, encodings, and confluence [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 17 - +