1. A. Bauer, L. Birkedal, and D. S. Scott, Equilogical spaces, URL: http://www.cs.cur.edu/groups/LTC/, preprint submitted to Elsevier, 1998.
2. L. Birkedal, A. Carboni, G. Rosolini, and 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, 1998, pp. 188–198.
3. A Compendium of Continuous Lattices;Gierz,1980
4. R. Heckmann, Separation classes of equilogical spaces, Presented at the Workshop on Domains IV, Rolandseck, October 1998.
5. B. Reus and T. Streicher, General synthetic domain theory – a logical approach, Submitted to MSCS, October 1997.