Wedge product of forms in synthetic differential geometry M. Carmen Minguez (1988) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Weil prolongations of Banach manifolds in an analytic model of S D G Eduardo J. Dubuc, Jorge G. Zilber (2005) Cahiers de Topologie et Géométrie Différentielle Catégoriques