1. Domain theory;Abramsky,1994
2. R.M. Amadio, P.-L. Curien, Domains and Lambda-Calculi, Cambridge Tracts in Theoretical Computer Science, 1998.
3. Toward a topology for computational geometry;Barker;Comput. Aided Design,1995
4. A. Bauer, L. Birkedal, D.S. Scott, Equilogical spaces. URL: http://www.cs.cmu.edu/Groups/LTC/, preprint submitted to Elsevier, 1998.
5. L. Birkedal, A. Carboni, G. Rosolini, D.S. Scott, Type theory via exact categories (extended abstract), in: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science LICS ’98, IEEE Computer Society Press, Silver Spring, MD, 1998, pp. 188–198.