Domain theory, in: (1994)

by S Abramsky, A Jung
Venue:Handbook of Logic in Computer Science,