Domain theory (1994)

by S Abramsky, A Jung
Venue:Handbook of Logic in Comp. Sci