1. Domain theory;Abramsky,1994
2. G. Battilotti, G. Sambin, A uniform presentation of sup-lattices, quantales and frames by means of infinitary preordered sets, pretopologies and formal topologies, Preprint No. 19, Dipartimento di Matematica, Università di Padova, November 1993.
3. G. Battilotti, G. Sambin, Pretopologies and a uniform presentation of sup-lattices, quantales and frames, to appear.
4. Foundations of Constructive Analysis;Bishop,1967
5. E. Bishop, Schizophrenia in contemporary mathematics, in: M. Rosenblatt (Eds.), Errett Bishop: Reflections on Him and His Research, San Diego, CA, 1983, Contemporary Mathematics, Vol. 39, Amer. Math. Soc. Providence, RI, 1985, pp. 1–32.