Domain theory (1994)

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