Apartness and formal topology (2005)

by E Palmgren, P Schuster
Venue:New Zealand Journal of Mathematics