Domains for denotational semantics, in "Proc. 9th Internat. Coll. on Automata, Languages and Programming (1982)

by D S Scott
Venue:Eds), Lecture Notes in Computer Science