AbstractTwo models of synthetic domain theory encompassing traditional categories of domains are introduced. First, we present a Grothendieck topos embedding the category ω-Cpo of ω-complete posets and ω-continuous functions as a reflective exponential ideal. Second, we obtain analogous results with respect to a category of domains and stable functions
AbstractWe motivate and define a category of topological domains, whose objects are certain topologi...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
Synthetic Domain Theory provides a setting to consider domains as sets with certain closure properti...
AbstractTwo models of synthetic domain theory encompassing traditional categories of domains are int...
AbstractWe give various internal descriptions of the category ω-Cpo of ω-complete posets and ω-conti...
We give various internal descriptions of the category !-Cpo of !-complete posets and !-continuous f...
AbstractWe provide an internal characterization of the category ω-Cpo of ω-complete posets and ω-con...
. We relate certain models of Axiomatic Domain Theory (ADT) and Synthetic Domain Theory (SDT). On th...
Synthetic Domain Theory (SDT) is a version of Domain Theory where "all functions are continuous". In...
AbstractAn axiomatic treatment of synthetic domain theory is presented, in the framework of the inte...
We relate certain models of Axiomatic Domain Theory (ADT) and Synthetic Domain Theory (SDT). On the...
We motivate and define a category of "topological domains", whose objects are certain topological sp...
AbstractWe present a categorical generalisation of the notion of domains, which is closed under (sui...
It is shown how many techniques of categorical domain theory can be expressed in the general context...
Synthetic domain theory (SDT) is a version of Domain Theory where ‘all functions are continuous’. Fo...
AbstractWe motivate and define a category of topological domains, whose objects are certain topologi...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
Synthetic Domain Theory provides a setting to consider domains as sets with certain closure properti...
AbstractTwo models of synthetic domain theory encompassing traditional categories of domains are int...
AbstractWe give various internal descriptions of the category ω-Cpo of ω-complete posets and ω-conti...
We give various internal descriptions of the category !-Cpo of !-complete posets and !-continuous f...
AbstractWe provide an internal characterization of the category ω-Cpo of ω-complete posets and ω-con...
. We relate certain models of Axiomatic Domain Theory (ADT) and Synthetic Domain Theory (SDT). On th...
Synthetic Domain Theory (SDT) is a version of Domain Theory where "all functions are continuous". In...
AbstractAn axiomatic treatment of synthetic domain theory is presented, in the framework of the inte...
We relate certain models of Axiomatic Domain Theory (ADT) and Synthetic Domain Theory (SDT). On the...
We motivate and define a category of "topological domains", whose objects are certain topological sp...
AbstractWe present a categorical generalisation of the notion of domains, which is closed under (sui...
It is shown how many techniques of categorical domain theory can be expressed in the general context...
Synthetic domain theory (SDT) is a version of Domain Theory where ‘all functions are continuous’. Fo...
AbstractWe motivate and define a category of topological domains, whose objects are certain topologi...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
Synthetic Domain Theory provides a setting to consider domains as sets with certain closure properti...
DOI
Add to ORKG