A logical interpretation of powerdomains. Internal report without number and date (1989)

by C A Gunter