Apartness spaces as a framework for constructive topology (2003)

by D Bridges, L Vita
Venue:Annals of Pure and Appl. Logic