GRADUATE THESES SUPERVISED

K.Tennenhouse, Some results concerning intuitionistic logical
categories, Master of Arts, McGill University 1976.

M.Heggie, A synthetic approach to the Calculus of Variations,
Master of Science, McGill University 1982.
 M.Heggie, Tensor products in homotopy theory, Doctor of
Philosophy, McGill University 1986. Dean's Honours List
 W.MacCaull, Applications of Logic and Sheaf representations to
von Neumann Regular Rings, Doctor of Philosophy, McGill University, 1984.
 J.Gorman, Aspects of Coherent Logic, Master of Science, McGill
University, 1987.
 M.Nystrom, The AmbrosePalaisSinger theorem in Synthetic
Differential Geometry, Master of Science, McGill University, 1987.
 F.GagoCouso, Internal weak opens, internal stability and
Morse theory for synthetic germs, Doctor of Philosophy, McGill University, 1988.
 M.Monserrat, Machines in Closed Categories in general and in
Categories of Heyting Algebra Valued Sets in particular, Master of Science, McGill
University, 1990.
 J.Funk, Descent for cocomplete categories, Doctor of
Philosophy, McGill University, 1992. Dean's Honours List.
 M.Fadda, Aspects of Power Locales and Power Domains, Master of
Science, McGill University, 1996.
 R.Harun, Applications of De Morgan Toposes and the Gleason cover,
Master of Science, McGill University, 1996.
PUBLICATIONS ARISING FROM GRADUATE STUDENTS THESES
 W.MacCaull, "On the intuitionistic validity of Hilbert's
Nullstellenstaz; Artin's theorem and related results", J. Symbolic Logic
53 (1988) 11771187.
 W.MacCaull, "Hilbert's Nullstellensatz revisited", J. Pure &
Applied Algebra 54 (1988) 289297.
 W.MacCaull, "Positive definite functions over regular frings
and representations as sums of squares", Annals of Pure & Applied Logic
44, no.3 (1989)243258.
 F.GagoCouso, "Morse germs in synthetic Differential Geometry" in:
F. Borceux (editor), Categorical Algebra and its applications, Lecture Notes in
Mathematics 1348, SpringerVerlag (1988) 125129.
 F.GagoCouso, "Singularites dans la geometrie differentielle
synthetique", Bull. de la Soc. Math.
de Belgique (Serie A) Tome XLI Fas. 2 (1989) 279287.
 F.GagoCouso, "Internal weak opens, stability and Morse theory for
synthetic germs" (thesis), Alxebra 50, Sgo de Compostela, XXIV, 146 pages, 1989.
 M.Heggie, "The left derived tensor product of CATvalued
diagrams", Cahiers de Top. et
Geo. Diff. Cat. XXXIII1 (1992) 3353.
 M.Heggie, "Homotopy Cofibrations in CAT", Cahiers de Top. et
Geo. Diff. Cat., Vol.XXXIII4 (1992), 291314.
 J.Funk, "Descent for cocomplete categories", Report 9126,
Department of Mathematics and Statistics, McGill University, 1991.
 J.Funk, "The cocomplete dual of a topos" Report 9125,
Department of Mathematics and Statistics, McGill University, 1991.
 M.Heggie, "Homotopy Colimits in presheaf categories", Cahiers
de Top. et Geo. Diff. Cat., Vol.XXXIV1, (1993), 1336.