Abstract interpretation, logical relations and Kan extensions (1990)

by S Abramsky
Venue:Journal of Logic and Computation