Apartness spaces as framework for constructive topology (2003)

by Douglas Bridges
Venue:Ann. Pure Appl. Logic