Robin J. Grayson

Forcing in intuitionistic systems without power-set

Robin J. Grayson, R. Grayson, 1983, Journal of Symbolic Logic.

On Closed Subsets of the Intuitionistic Reals

Robin J. Grayson, 1983, Math. Log. Q..

Constructive Well-Orderings

Robin J. Grayson, 1982, Math. Log. Q..

A correction to "concepts of general topology in constructive mathematics and in sheaves"

Robin J. Grayson, 1982, Ann. Math. Log..

Concepts of general topology in constructive mathematics and in sheaves, II

Robin J. Grayson, R. Grayson, 1981, Ann. Math. Log..