Kernels of seminorms in constructive analysis

Douglas S. Bridges, Nicholas Dudley Ward. Kernels of seminorms in constructive analysis. Theoretical Computer Science, 284(2):259-267, 2002. [doi]

Abstract

Abstract is missing.