AbstractWe give various internal descriptions of the category ω-Cpo of ω-complete posets and ω-continuous functions in the model H of Synthetic domain theory introduced in Fiore and Rosolini (J. Pure Appl. Algebra 116 (1997) 151–162). It follows that the ω-cpos lie between the two extreme synthetic notions of domain given by repleteness and well-completeness
We present two characterisations of FS domains, using the upper and the lower power domain construc...
Achim Jung y Technische Hochschule Darmstadt and Imperial College of Science and Technology, Londo...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
AbstractWe provide an internal characterization of the category ω-Cpo of ω-complete posets and ω-con...
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...
AbstractTwo models of synthetic domain theory encompassing traditional categories of domains are int...
AbstractWe use a subfamily of the Scott-closed sets of a poset to form a local completion of the pos...
A definition of the notion of an effectively given continuous cpo is provided. The importance of the...
AbstractAn axiomatic treatment of synthetic domain theory is presented, in the framework of the inte...
AbstractA definition of the notion of an effectively given continuous cpo is provided. The importanc...
AbstractThe main result of this paper provides a necessary and sufficient condition that the functio...
AbstractCanonical Completion of a poset is of central importance in obtaining fully abstract semanti...
AbstractWorking in a model of intuitionistic higher order logic, a topos, we start by taking a domin...
We motivate and define a category of "topological domains", whose objects are certain topological sp...
We present two characterisations of FS domains, using the upper and the lower power domain construc...
Achim Jung y Technische Hochschule Darmstadt and Imperial College of Science and Technology, Londo...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
AbstractWe provide an internal characterization of the category ω-Cpo of ω-complete posets and ω-con...
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...
AbstractTwo models of synthetic domain theory encompassing traditional categories of domains are int...
AbstractWe use a subfamily of the Scott-closed sets of a poset to form a local completion of the pos...
A definition of the notion of an effectively given continuous cpo is provided. The importance of the...
AbstractAn axiomatic treatment of synthetic domain theory is presented, in the framework of the inte...
AbstractA definition of the notion of an effectively given continuous cpo is provided. The importanc...
AbstractThe main result of this paper provides a necessary and sufficient condition that the functio...
AbstractCanonical Completion of a poset is of central importance in obtaining fully abstract semanti...
AbstractWorking in a model of intuitionistic higher order logic, a topos, we start by taking a domin...
We motivate and define a category of "topological domains", whose objects are certain topological sp...
We present two characterisations of FS domains, using the upper and the lower power domain construc...
Achim Jung y Technische Hochschule Darmstadt and Imperial College of Science and Technology, Londo...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
DOI
Add to ORKG