Powerdomains and modality (1983)

by G Winskel
Venue:In Proc. of Foundations of Computation Theory