Abstract Interpretation‚ Logical Relations and Kan Extensions
S. Abramsky
Book Title
J. Logic and Computation‚ 1(1)
Pages
5−41
Year
1990
S. Abramsky