On proximal convergence in uniorm spaces

摘要

The paper deals with proximal convergence and Leader's theorem, in the constructive theory of uniform apartness spaces.