共 50 条
- [35] Differentials of Higher Order in Noncommutative Differential Geometry Letters in Mathematical Physics, 1997, 42 : 241 - 259
- [37] The geometry of linear higher-order recursion LICS 2005: 20th Annual IEEE Symposium on Logic in Computer Science - Proceedings, 2005, : 366 - 375
- [38] On higher order geometry on anchored vector bundles CENTRAL EUROPEAN JOURNAL OF MATHEMATICS, 2004, 2 (05): : 826 - 839