Some combinatorial calculus on Lie derivative M. Carmen Minguez — 1988 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Wedge product of forms in synthetic differential geometry M. Carmen Minguez — 1988 Cahiers de Topologie et Géométrie Différentielle Catégoriques