A constructive theory of point–set nearness (2000)

by Luminit¸a Vît¸ă, Douglas Bridges
Venue:in Proceedings of Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Seminar in Dagstuhl, Germany, 4–9 June 2000; Springer Lecture Notes in Computer Science