Lower and upper power domain constructions commute on all cpos (0)

by R Heckmann
Venue:Information Processing Letters 40 (1) (1991), 7–11. 200 M. Escardo