Cartesian inclusions: locales and toposes,
Communications in Algebra9 (1981) 1639–1671.
Cartesianness: topological spaces, uniform spaces, and affine schemes,
Journal of Pure and Applied Algebra2 (1982), 147–167.
Topologically indexed function spaces and adjoints,
Canadian Mathematical Bulletin25 (1982) 169–178.
Cartesian spaces over T and locales over O(T),
Cahiers de Topologie et Geometrie DifferentielleXXIII-3 (1982) 257–267.
Exactness and projectivity,
Proceedings of the Gummersbach Category Theory Meeting 1981,
Lecture Notes in Math. 962, Springer-Verlag (1982) 221–227.
A note on the locally Hausdorff property,
Cahiers de Topologie et Geometrie DifferentielleXXIV-1 (1983) 87–93.
Strong de Morgan's law and the spectrum of a commutative ring
(with K.I.~Rosenthal),
Journal of Algebra93 (1985), 169–181.
A Note on algebraic de Morgan's law
(with K.I. Rosenthal),
Cahiers de Topologie et Geometrie Differentielle, XXVI-2 (1985) 115–120.
Adjoints to tensor for graded algebras and coalgebras,
Journal of Pure and Applied Algebra41 (1986) 225–261.
Sheaves of integral domains on Stone spaces
(with K.I. Rosenthal),
Journal of Pure and Applied Algebra47 (1987) 173–179.
Spatial sublocales and essential primes
(with K.I. Rosenthal),
Topology and Its Applications26 (1987) 263–269.
Ideals of closed categories
(with K.I. Rosenthal),
Journal of Pure and Applied Algebra51 (1988) 293–304.
Componential nuclei
(with K.I. Rosenthal),
Proceedings of the Category Theory Conference at Louvain-la-Neuve, Belgium,
Lecture Notes in Math. 1348, Springer-Verlag (1988) 299–306.
Constructing locales from quantales
(with K.I. Rosenthal),
Mathematical Proceedings of the London Philisophical Society104 (1988) 215–234.
Connections between ideal theory and the theory of locales
(with K.I. Rosenthal),
Papers on Topology and Related Category Theory,
Annals of the New York Academy of Science 562 (1989) 138–152.
Sheaves of semiprime ideals, Cahiers de Topologie et Geometrie Differentielle
(with K.I. Rosenthal),
CategoriquesXXXI-3 (1990) 213–227.
Projective and supercoherent frames
(with B. Banaschewski),
Journal of Pure and Applied Algebra70 (1991) 45–51.
Weak pullbacks and locally Hausdorff locales,
Proceedings of Category Theory '90,
Lecture Notes in Math. 1488, Springer-Verlag (1991).
De Morgan's laws for noncommutative rings
(with S. Hao),
Cahiers de Topologie et Geometrie Differentielle CategoriquesXXXVI-2 (1995) 127–140.
Algebras for chaos,
Applied Categorical Structures4 (1996) 423–441.
Constructing quantales and their modules from monoidal categories,
Cahiers de \break Topologie et Geometrie Differentielle CategoriquesXXXVII-2 (1996) 163–176.
Exponentiability and single universes
(with M. Bunge),
Journal of Pure and Applied Algebra148 (2000) 217–250.