Full Abstraction and Semantic Equivalence. Doctoral Disserta� tion� Carnegie�Mellon University� 1985� 133 pp. �15� Poign�e� A.� A note on distributive laws and power domains (0)

by K � Mulmuley�