Intuitionistic Topology and Foundations of Constructive Mathematics
home.hetnet.nlMath page of Frank Waaldijk, containing articles and PhD thesis on foundations of constructive mathematics and intuitionistic topology. Also links to other mathemtaicians in this field.