Domain theory (1994)

by Samson Abramsky, Achim Jung
Venue:Handbook of Logic in Computer Science