AbstractWe present a categorical generalisation of the notion of domains, which is closed under (suitable) exponentiation. The goal was originally to generalise Girard's model of polymorphism to Fω. If we specialise this notion in the poset case, we get new cartesian closed categories of domains
AbstractStable domains were introduced in a restricted form by Berry to characterise sequential algo...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
We propose acategory of topological spaces that promises to be convenient for the purposes of domain...
AbstractWe present a categorical generalisation of the notion of domains, which is closed under (sui...
AbstractWe give an illustration of a construction useful in producing and describing models of Girar...
We motivate and define a category of "topological domains", whose objects are certain topological sp...
AbstractWe motivate and define a category of topological domains, whose objects are certain topologi...
In this work we describe a category of domains, whose objects are in general categories instead of p...
AbstractTwo models of synthetic domain theory encompassing traditional categories of domains are int...
We give an illustration of a construction useful in producing and describing models of Girard and Re...
We give an illustration of a construction useful in producing and describing models of Girard and Re...
AbstractWe give various internal descriptions of the category ω-Cpo of ω-complete posets and ω-conti...
It is shown how many techniques of categorical domain theory can be expressed in the general context...
We give a characterization of exponentiable monomorphisms in the categories omega-Cpo of omega-comp...
AbstractWe give a characterization of exponentiable monomorphisms in the categories ω-Cpo of ω-compl...
AbstractStable domains were introduced in a restricted form by Berry to characterise sequential algo...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
We propose acategory of topological spaces that promises to be convenient for the purposes of domain...
AbstractWe present a categorical generalisation of the notion of domains, which is closed under (sui...
AbstractWe give an illustration of a construction useful in producing and describing models of Girar...
We motivate and define a category of "topological domains", whose objects are certain topological sp...
AbstractWe motivate and define a category of topological domains, whose objects are certain topologi...
In this work we describe a category of domains, whose objects are in general categories instead of p...
AbstractTwo models of synthetic domain theory encompassing traditional categories of domains are int...
We give an illustration of a construction useful in producing and describing models of Girard and Re...
We give an illustration of a construction useful in producing and describing models of Girard and Re...
AbstractWe give various internal descriptions of the category ω-Cpo of ω-complete posets and ω-conti...
It is shown how many techniques of categorical domain theory can be expressed in the general context...
We give a characterization of exponentiable monomorphisms in the categories omega-Cpo of omega-comp...
AbstractWe give a characterization of exponentiable monomorphisms in the categories ω-Cpo of ω-compl...
AbstractStable domains were introduced in a restricted form by Berry to characterise sequential algo...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
We propose acategory of topological spaces that promises to be convenient for the purposes of domain...
DOI
Add to ORKG