Referencias:

• Demazure, M., Gabriel, P., (1970) Groupes algebriques, , North Holland Publ. Co
• Dubuc, E., Sur les mod'les de la gèomètrie differentielle synthètiques (1979) Cahiers de Top. et Geom. Diff, 20, pp. 231-279
• Dubuc, E., C∞-schemes (1981) Amer. Journ. Math, 103, pp. 683-690
• Kock, A., Formal manifolds and synthetic theory of jet bundles (1980) Cahiers de Top. et Geom. Diff, 21, pp. 227-246
• Kock, A., Differential Forms with values in groups (1982) Bull. Austr. Math. Soc, 25, pp. 357-386
• Kock, A., Synthetic differential geometry (1981) London Mathematical Society Lecture Notes Series No. 51, , Cambridge University Press
• Lawvere, F.W., Some algebraic problems in the context of functorial semantics of algebraic theories (1968) Reports of the Midwest Category Seminar II, 61. , Springer Lecture Notes in Math
• Lawvere, F.W., Toward the description in a smooth topos of the dynamically possible motions and deformations of a smooth body (1980) Cahiers de Top. et G'om. Diff, 21, pp. 377-392
• Penon, J., Topologie et intuitionnisme (1981) Journees Faisceaux et Logique, , Mai, Pre-publication Paris-Nord No. 23 (1981)
• Que, N., Reyes, G.E., Smooth functors and synthetic calculus (1982) Preprint, U. de Montr'al, D.M.S, pp. 82-85
• Reyes, G.E., Analyse C∞, in Géométrie Diffgrentielle Synthétique (1980) Exposé 4, Rapport de Recherches, U. de Montreal, D.M.S, pp. 80-812

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------