Some axiomatic results in synthetic domain theory.

Jaap van Oosten Alex K. Simpson Some axiomatic results in synthetic domain theory. 2000 35 Electr. Notes Theor. Comput. Sci. http://dx.doi.org/10.1016/S1571-0661(05)80740-6 db/journals/entcs/entcs35.html#OostenS00 175