Search

• < Previous
• 1
• Next >

---

Observationally-induced algebras in Domain Theory

Ingo Battenfeld ; Klaus Keimel ; Thomas Streicher.

In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the particular case where the ambient category is given by classical domain theory. As examples of the general framework we&nbsp;[&hellip;]

---

Weak upper topologies and duality for cones

Klaus Keimel.

In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak topology is the evaluation at a uniquely determined point of the given vector space. M. Schroeder and A. Simpson have obtained a similar result&nbsp;[&hellip;]

---

Mixed powerdomains for probability and nondeterminism

Klaus Keimel ; Gordon D. Plotkin.

We consider mixed powerdomains combining ordinary nondeterminism and probabilistic nondeterminism. We characterise them as free algebras for suitable (in)equation-al theories; we establish functional representation theorems; and we show equivalencies between state transformers and appropriately&nbsp;[&hellip;]

---