Building metric structures with the Maes-factor

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Abstract

We introduce the functor Meas in the category of complete ultra metric spaces and nonexpansive mapping. The main result of this paper is that Meas is a welldefined and locally nonexpansive endofunctor. Therefore the functor fits naturally in the metric approach to programming language semantics. The use of Meas in the construction of probabilistic powerdomains, either directly or through the use of domain equations, is illustrated with two examples.
Original languageEnglish
Title of host publicationLiber amicorum Jaco de Bakker
EditorsF.S. Boer, de, M. Heijden, van der, P. Klint
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Pages93-107
Publication statusPublished - 2002

Fingerprint Dive into the research topics of 'Building metric structures with the Maes-factor'. Together they form a unique fingerprint.

Cite this