Compactness in constructive analysis revisited

Etude de la compacite constructive. Demonstration de deux versions differentes du theoreme de Heine-Borel

[1]  Christoph Kreitz,et al.  Theory of Representations , 1985, Theor. Comput. Sci..

[2]  Christoph Kreitz,et al.  Representations of the real numbers and of the open subsets of the set of real numbers , 1987, Ann. Pure Appl. Log..

[3]  Klaus Weihrauch,et al.  Type 2 Recursion Theory , 1985, Theor. Comput. Sci..