On the paper definable completeness

Bunge, Marta; Funk, Jonathon; Jibladze, Mamuka; Streicher, Thomas

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 50 (2009), no. 4, p. 156-156

Definable completeness

Bunge, Marta; Jibladze, Mamumka; Streicher, Thomas

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 45 (2004) p. 243-266

On a synthetic proof of the Ambrose-Palais-Singer theorem for infinitesimally linear spaces

Bunge, Marta

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 28 (1987) p. 127-142

Archimedian local $C^{\infty }$-rings and models of synthetic differential geometry

Bunge, Marta; Dubuc, Eduardo J.

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 27 (1986) p. 3-22

On connections, geodesics and sprays in synthetic differential geometry

Bunge, Marta; Sawyer, Patrice

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 25 (1984) p. 221-258

Models of differential algebra in the context of synthetic differential geometry

Bunge, Marta

Cahiers de topologie et géométrie différentielle, Volume 22 (1981) p. 31-44

Stack completions and Morita equivalence for categories in a topos

Bunge, Marta

Cahiers de topologie et géométrie différentielle, Volume 20 (1979) p. 401-436

Stacks and equivalence of indexed categories

Bunge, Marta; Pare, Robert

Cahiers de topologie et géométrie différentielle, Volume 20 (1979) p. 373-399

Internal presheaves toposes

Bunge, Marta

Cahiers de topologie et géométrie différentielle, Volume 18 (1977) p. 291-330