Cauchy nets in the constructive theory of apartness spaces (2002)

by D Bridges, L Vît¸ă
Venue:Scientiae Mathematicae Japonicae