Two models of synthetic domain theory

[摘要] 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. (C) 1997 Elsevier Science B.V.

[发布日期] 1997-03-28