Abstract interpretation, logical relations and Kan extensions (1990)

by Samson Abramsky
Venue:Journal of Logic and Computation