Two Models of Synthetic Domain Theory

          M.P. Fiore                      G. Rosolini      
      <mf@dcs.ed.ac.uk>          <rosolini@athena.disi.unige.it>   

                        Synopsis

Two models of synthetic domain theory encompassing traditional 
categories of domains are introduced.  First, we present a Grothendieck
topos embedding the category \omega-Cpo of \omega-complete posets and
\omega-continuous functions as a reflective exponential ideal.  Second,
we obtain analogous results with respect to a category of domains and 
stable functions.