A power-domain construction (1976)

by G Plotkin
Venue:SIAM J Comput