A Constructive Treatment of Open and Unopen Mapping Theorems. - Douglas S. Bridges; William Julian; Ray Mines (Math. Log. Q., 1989)

Sequentially Continuous Linear Mappings in Constructive Analysis. - Douglas S. Bridges; Ray Mines (J. Symb. Log., 1998)

The Priestley Separation Axiom for Scattered Spaces. - Guram Bezhanishvili; Ray Mines; Patrick J. Morandi (Order, 2002)

Quasi-apartness and neighbourhood spaces. - Hajime Ishihara; Ray Mines; Peter Schuster 001; Luminita Vîta (Ann. Pure Appl. Log., 2006)

Profinite Completions and Canonical Extensions of Heyting Algebras. - Guram Bezhanishvili; Mai Gehrke; Ray Mines; Patrick J. Morandi (Order, 2006)