Closure properties of a probabilistic domain construction (1988)

by S K Graham
Venue:Mathematical Foundations of Programming Language Semantics (MFPLS '87