On powerdomains and modality. Theoretical Computer Science, 36:127--137 (1985)

by G Winskel
Venue:Amos Beimel, Anna G