1. and , Sheaf models for analysis. In: Applications of Sheaves. Lecture Notes in Mathematics 753, pp. 280–301 (Springer-Verlag, 1979).
2. and , A universal characterization of the closed Euclidean interval. In: Sixteenth Annual IEEE Symposium on Logic in Computer Science, pp. 115–125 (2001).
3. Heyting-valued models for intuitionistic set theory. In: Applications of Sheaves. Lecture Notes in Mathematics 753, pp. 402–414 (Springer-Verlag, 1979).
4. and , On the constructive Dedekind reals. Submitted to Logic and Analysis.
5. and , Representing real numbers without choice. In preparation.