Domains for denotational semantics (1982)

by D Scott
Venue:In Proc. of ICALP