Moerdijk I. and G. E. Reyes (1983). Cohomology theories in synthetic differential
geometry. In A. Kock (ed.). Proc. Workshop on category theoretic methods in
Geometry. Aarhus: Various Publications, 1-67.
Ngo van Quê and G. E. Reyes (1982). Synthetic Calculus and smooth functors. In
Troelstra A. S. and D. van Dalen (eds.). The L. E. J. Brouwer Symposium.
Amsterdam: North Holland, 377-395.
G. E. Reyes (1981). Analyse dans les topos lisses. Third Colloquium on Categories, Part III (amiens, 1980, France). Cahiers de top. et geom. diff 22,
155-160.
G. E. Reyes (1981). Géométrie différentielle synthétique. Gazette des Sci. Math. du Québec 5, 6-19.
G. E. Reyes (1981). Logic and category theory. In Agazzi E. (ed.). Modern Logic – A survey. Dordrecht: D. Reidel Publishing Company, 235-252.
Kock A. and G. E. Reyes (1981). Models for synthetic integration theory. Math.
Scand. 48, 145-152.
Bunge M. and G. E. Reyes (1981). Boolean spectra and model completions. Fund.
Math. 113, 165-173.
Kock A. and G. E. Reyes (1979). Connections in formal differential geometry.
In Kock A. (ed.). Topos theoretic methods in Geometry (Proceedings of the Open
House on Topos theoretic methods in Geometry and Analysis, Aarhus, may 1978,
Denmark). Aarhus: Various Publication Series No. 30, 158-195.
Kock A. and G. E. Reyes (1979). Manifolds in formal differential geometry. In
Fourman M. P. et al (eds.). Applications of Sheaves (Proceedings, Durham 1977).
LNM 753. Berlin : Springer-Verlag, 514-533.
Dubuc E. and G. E. Reyes (1979). Subtoposes of the ring classifier. In Kock A. (ed.).
Topos theoretic methods in Geometry. Aarhus: Various Publication Series No. 30,
101-122.
Gonzalo E. Reyes - Marie La Palme Reyes 