J. J. C. Vermeulen

A note on iterative arguments in a topos

J. J. C. Vermeulen, 1992 .

Some constructive results related to compactness and the (strong) Hausdorff property for locales

J. J. C. Vermeulen, J. J. C. Vermeulen, 1991 .