Abramsky, S. (1990). Abstract Interpretation‚ Logical Relations and Kan Extensions.
Dyfyniad Arddull ChicagoAbramsky, S. Abstract Interpretation‚ Logical Relations and Kan Extensions. 1990.
Dyfyniad MLAAbramsky, S. Abstract Interpretation‚ Logical Relations and Kan Extensions. 1990.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.