共 50 条
- [31] On the complexity of higher-order matching in the linear λ-calculus REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2003, 2706 : 234 - 245
- [34] VANDERWAALS INTERACTION BETWEEN LINEAR-MOLECULES JOURNAL OF CHEMICAL PHYSICS, 1977, 67 (05): : 1953 - 1956
- [38] Higher-Order Intentionality and Higher-Order Acquaintance Philosophical Studies, 2007, 134 : 289 - 324