Coquand, Th.: A constructive topological proof of van der Waerden's theorem, Journal of Pure and Applied Algebra, to appear
Coquand, Th.: A formal space of ultrafilters, manuscript.
Coquand, Th.: Minimal invariant spaces in formal topology, manuscript.
Coquand, Th.: An application of Boolean models, manuscript.
Coquand, Th., Smith, J.M.: An application of constructive completeness, Proc. Proofs and Types, Turin 1995, to appear.
Dragalin, A.G.: Complete Heyting and Boolean algebras over a partial ordering. Constructive approaches, Topology with Applications, Szekszard 1993, Bolyai Society Mathematical Studies 4, 159-195.
Dragalin, A.G.: An explicit boolean-valued model for the non-standard arithmetic, Publ. Math. Debrecen 42(1993), 369 -- 389.
Dragalin, A.G.: Explicit algebraic models for constructive and classical theories with non-standard elements, Studia Logica 55(1995), 33-61.
Fourman, M.P., Grayson, R.J.: Formal spaces, in: A.S. Troelstra and D. van Dalen ( eds.), The L.E.J. Brouwer Centenary Symposium, North-Holland, 1982, 107 -- 122.
Goldblatt, R.: Topoi, the Categorical Analysis of Logic, North-Holland, Amsterdam 1986.
Johnstone, P.T.: Topos Theory, Academic Press, New York 1977.
Johnstone, P.T.: Stone Spaces, Cambridge University Press, 1982.
Joyal, A., Tierney, M.: An Extension of the Galois Theory of Grothendieck, Memoirs of American Mathematical Society, no. 309, vol. 51, American Mathematical Society 1984.
Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic, Springer, 1992.
Makkai, M., Reyes, G.: First Order Categorical Logic, Lecture Notes in Mathematics, Vol. 611, Springer, Berlin 1977.
Martin-Löf, P.: Punktfri (formell) topologi, lecture notes.
Palmgren, E.: Constructive sheaf semantics, Uppsala University, Department of Mathematics Report 1995:44. (to appear in Math. Logic Quarterly)
Sambin, G.: Intuitionistic formal spaces - a first communication, in: D. Skordev (ed.), Mathematical Logic and its Applications, Plenum Press, 1987, 187 - 204.
Sambin, G.: The semantics of pretopologies, in: K. Dosen and P. Schroeder-Heister ( eds.), Substructural Logics, Oxford University Press, 1993, 293 - 307.
Sambin, G.: Pretopologies and Completeness Proofs, Journal of Symbolic Logic 60(1995), 861 - 878.
Sambin, G.: Closed Subsets and the Positivity Predicate, manuscript.
Sambin, G., Valentini, S., Virgili, P.: Constructive Domain Theory as a Branch of Pointfree Topology, manuscript.
Sigstam, I.: On Formal Spaces and their Effective Presentations, Doctoral Dissertation, Uppsala University, Department of Mathematics Report 1990:7.