Compactness and Continuity, Constructively Revisited.

Douglas S. Bridges, Hajime Ishihara, Peter Schuster

Browse the full CSL paper archive.