Үүнийг мессежээр илгээх: Abstract Interpretation‚ Logical Relations and Kan Extensions