Building metric structures with the Maes-factor

J.I. Hartog, den; E.P. Vink, de

Building metric structures with the Maes-factor

J.I. Hartog, den, E.P. Vink, de

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

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 language	English
Title of host publication	Liber amicorum Jaco de Bakker
Editors	F.S. Boer, de, M. Heijden, van der, P. Klint
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	93-107
Publication status	Published - 2002

Cite this

@inbook{2501a29b1f96496ca2e3e09e06317ce4,

title = "Building metric structures with the Maes-factor",

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.",

author = "{Hartog, den}, J.I. and {Vink, de}, E.P.",

year = "2002",

language = "English",

pages = "93--107",

editor = "{Boer, de}, F.S. and {Heijden, van der}, M. and P. Klint",

booktitle = "Liber amicorum Jaco de Bakker",

publisher = "Centrum voor Wiskunde en Informatica",

}

TY - CHAP

T1 - Building metric structures with the Maes-factor

AU - Hartog, den, J.I.

AU - Vink, de, E.P.

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

M3 - Chapter

SP - 93

EP - 107

BT - Liber amicorum Jaco de Bakker

A2 - Boer, de, F.S.

A2 - Heijden, van der, M.

A2 - Klint, P.

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -

Building metric structures with the Maes-factor

Abstract

Fingerprint

Cite this