LOWER BAG DOMAINS

1 January 1995

journal article
Published by SAGE Publications in Fundamenta Informaticae

Vol. 24 (3) , 259-281
https://doi.org/10.3233/fi-1995-2433

Abstract

Two lower bag domain constructions are introduced: the initial construction which gives free lower monoids, and the final construction which is defined explicitly in terms of second order functions. The latter is analyzed closely. For sober dcpo's, t

Keywords

ARGUMENT DOMAIN
FINAL CONSTRUCTION
ORDER FUNCTION
FINAL LOWER BAG DOMAIN
INITIAL CONSTRUCTION
PROPERTY L
CONTINUOUS DOMAIN
LOWER BAG DOMAINS
LOWER BAG DOMAIN CONSTRUCTION
BOUNDED COMPLETENESS
LOWER MONOIDS
SECOND ORDER

This publication has 0 references indexed in Scilit: