Lower and Upper Power Domain Constructions Commute on all Cpos

Reinhold Heckmann. Lower and Upper Power Domain Constructions Commute on all Cpos. Inf. Process. Lett., 40(1):7-11, 1991.

Authors

Reinhold Heckmann

This author has not been identified. Look up 'Reinhold Heckmann' in Google