Powerdomains and modality (1983)

by G Winskel
Venue:Foundations of Computation Theory, number 158 in LNCS