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