Hostname: page-component-7c8c6479df-24hb2 Total loading time: 0 Render date: 2024-03-19T10:45:12.779Z Has data issue: false hasContentIssue false

Monoids over domains

Published online by Cambridge University Press:  17 May 2006

MICHAEL MISLOVE
Affiliation:
Department of Mathematics, Tulane University, New Orleans, LA 70118

Abstract

In this paper, we describe three distinct monoids over domains, each with a commutative analog, which define bag domain monoids. Our results were inspired by work by Varacca (Varacca 2003), and they lead to a constructive approach to his Hoare indexed valuations over a continuous poset $P$. We use our constructive approach to describe an analog of the probabilistic power domain, and the laws that characterise it, that forms a Scott-closed subset of Varacca's construct. We call these the Hoare random variables over$P$.

Type
Paper
Copyright
2006 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)