We consider mixed powerdomains combining ordinary nondeterminism and probabilistic
nondeterminism. We characterise them as free algebras for suitable (in) equation-al …

The famous Banach contraction principle holds in complete metric spaces, but
completeness is not a necessary condition: there are incomplete metric spaces on which …

We consider three monads on, the category of topological spaces, which formalize
topological aspects of probability and possibility in categorical terms. The first one is the …

Abstract Domain theory has its origins in Mathematics and Theoretical Computer Science.
Mathematically it combines order and topology. Its central concepts have their origin in the …

We relate the so-called powercone models of mixed non-deterministic and probabilistic
choice proposed by Tix, Keimel, Plotkin, Mislove, Ouaknine, Worrell, Morgan and McIver, to …

We prove an analogue of the Hahn-Banach theorem on the extension of a linear functional
with a convex estimate for each abstract convex cone with the cancellation law. Also we …

Powerdomains in domain theory plays an important role in modeling the semantics of
nondeterministic functional programming languages.\In this paper,\we extend the notion of …

This thesis is a contribution to computable analysis in the tradition of Grzegorczyk, Lacombe,
and Weihrauch. The main theorem of computable analysis asserts that any computable …

The Kantorovich-Rubinshtein metric is an $ L^ 1$-like metric on spaces of probability
distributions that enjoys several serendipitous properties. It is complete separable if the …

We relate the so-called powercone models of mixed non-deterministic and probabilistic
choice proposed by Tix, Keimel, Plotkin, Mislove, Ouaknine, Worrell, Morgan, and McIver, to …