Abramsky, S. (1990). Abstract Interpretation‚ Logical Relations and Kan Extensions.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Abramsky, S. Abstract Interpretation‚ Logical Relations and Kan Extensions. 1990.
MLA -ийн эшлэл (9 дэх хэвлэлт)Abramsky, S. Abstract Interpretation‚ Logical Relations and Kan Extensions. 1990.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.