On powerdomains and modality (1985)

by G WINSKEL
Venue:RECEIVED JULY 1983; REVISED FEBRUARY 1985; ACCEPTED MARCH 1985 Journal of the Association for Computing Machinery