On Powerdomains and Modality (1985)

by G Winskel
Venue:Theoretical Computer Science