Linear Types and Approximation (2007)
Michael Huth, Achim Jung, Klaus Keimel
We enrich the-autonomous category of complete lattices and maps preserving all suprema with the important concept of approximation by specifying a-autonomous full subcategory LFS of linear...
Projective topology on bifinite domains and applications (2006)
We revisit extension results from continuous valuations to Radon measures for bifinite domains. In the framework of bifinite domains, the Prokhorov theorem (existence of projective limits of Radon...
Projective topology on bifinite domains and applications (2006)
We revisit extension results from continuous valuations to Radon measures for bifinite domains. In the framework of bifinite domains, the Prokhorov theorem (existence of projective limits of Radon...
Measure extension theorems on T0-spaces (2005)
Abstract. The theme of this paper is the extension of continuous valuations on the lat-tice of open sets of a T0-space to Borel measures. A general extension principle is derived that provides a...
Measure extension theorems on T0-spaces (2005)
Abstract. The theme of this paper is the extension of continuous valuations on the lat-tice of open sets of a T0-space to Borel measures. A general extension principle is derived that provides a...
Semantic Domains for Combining Probability and Non-Determinism (2005)
Regina Tix, Klaus Keimel, Gordon Plotkin
Contents Foreword vii Introduction ix 1 Order and Topology 1 1.1 Dcpos and Scott-Continuous Functions . . . . . . . . . . . . . . . 1 1.2 The Specialisation Order . . . . . . . . . . . . . . . . . ....
The probabilistic powerdomain for stably compact spaces (2004)
Mauricio Alvarez-manilla, Achim Jung, Klaus Keimel
This paper reviews the one-to-one correspondence between stably compact spaces (a topological concept covering most classes of semantic domains) and compact ordered Hausdorff spaces. The...
Linear Types and Approximation (1999)
Michael Huth, Achim Jung, Klaus Keimel
We study continuous lattices with maps which preserve all suprema rather than only directed ones. We introduce the subclass of FS-lattices which turns out to be -autonomous, and in fact maximal with...
The Way-Below Relation of Function Spaces Over Semantic Domains (1998)
Thomas Erker, Martín Hötzel Escardó, Klaus Keimel, D. An
For partially ordered sets that are continuous in the sense of D. S. Scott, the waybelow relation is crucial. It expresses the approximation of an ideal element by its finite parts. We present...
Linear Types and Approximation (1995)
Michael Huth, Achim Jung, Klaus Keimel
We enrich the -autonomous category of complete lattices and maps preserving all suprema with the important concept of approximation by specifying a -autonomous full subcategory LFS of linear...
Ordered cones and approximation / Klaus Keimel, Walter Roth (1992)
Incluye bibliografía e índice
Lectures on the applications of sheaves to ring theory / Klaus Keimel (1971)
Keimel, Klaus, Teleman, Silviu
Incluye bibliografía
UI microform master #83-0896/1.
Représentation de groupes et d'anneaux réticulés par des sections dans des faisceaux / (1970)
Thesis (doctoral)--Université de Paris, 1970.
Beiträge zur Theorie der kompakten Abelschen Halbgruppen. (1967)
Besteht aus: [1.] Eine Exponentialfunktion für kompakte Abelsche Halbgruppen. S. 7-25. Aus: Mathematische Zeitschrift. Bd 96. 1967. - [2.] Lokal kompakte Kegelhalbgruppen und deren Einbettung in...