Learn More
Introduction The central idea of Synthetic Domain Theory (SDT) is that, if one formalizes abstract properties that a category of domains should have (relative to an intended range of applications), one might nd full subcategories of the category of sets enjoying these properties. Domains, then, would just be (special) sets, maps of domains would be(More)